title: Penalty methods for variational quantum eigensolver

abstract: The variational quantum eigensolver (VQE) is a promising algorithm to compute eigenstates and eigenenergies of a given quantum system that can be performed on a near-term quantum computer. Obtaining eigenstates and eigenenergies in a specific symmetry sector of the system is often necessary for practical applications of the VQE in various fields ranging from high energy physics to quantum chemistry. It is common to add a penalty term in the cost function of the VQE to calculate such a symmetry-resolving energy spectrum, but systematic analysis on the effect of the penalty term has been lacking, and the use of the penalty term in the VQE has not been justified rigorously. In this work, we investigate two major types of penalty terms for the VQE that were proposed in the previous studies. We show a penalty term in one of the two types works properly in that eigenstates obtained by the VQE with the penalty term reside in the desired symmetry sector. We further give a convenient formula to determine the magnitude of the penalty term, which may lead to the faster convergence of the VQE. Meanwhile, we prove that the other type of penalty terms does not work for obtaining the target state with the desired symmetry in a rigorous sense and even gives completely wrong results in some cases. We finally provide numerical simulations to validate our analysis. Our results apply to general quantum systems and lay the theoretical foundation for the use of the VQE with the penalty terms to obtain the symmetry-resolving energy spectrum of the system, which fuels the application of a near-term quantum computer.


title: An Adversarial Domain Separation Framework for Septic Shock Early Prediction Across EHR Systems

abstract: Modeling patient disease progression using Electronic Health Records (EHRs) is critical to assist clinical decision making. While most of prior work has mainly focused on developing effective disease progression models using EHRs collected from an individual medical system, relatively little work has investigated building robust yet generalizable diagnosis models across different systems. In this work, we propose a general domain adaptation (DA) framework that tackles two categories of discrepancies in EHRs collected from different medical systems: one is caused by heterogeneous patient populations (covariate shift) and the other is caused by variations in data collection procedures (systematic bias). Prior research in DA has mainly focused on addressing covariate shift but not systematic bias. In this work, we propose an adversarial domain separation framework that addresses both categories of discrepancies by maintaining one globally-shared invariant latent representation across all systems} through an adversarial learning process, while also allocating a domain-specific model for each system to extract local latent representations that cannot and should not be unified across systems. Moreover, our proposed framework is based on variational recurrent neural network (VRNN) because of its ability to capture complex temporal dependencies and handling missing values in time-series data. We evaluate our framework for early diagnosis of an extremely challenging condition, septic shock, using two real-world EHRs from distinct medical systems in the U.S. The results show that by separating globally-shared from domain-specific representations, our framework significantly improves septic shock early prediction performance in both EHRs and outperforms the current state-of-the-art DA models.


title: Dynamic Algorithms for Online Multiple Testing

abstract: We derive new algorithms for online multiple testing that provably control false discovery exceedance (FDX) while achieving orders of magnitude more power than previous methods. This statistical advance is enabled by the development of new algorithmic ideas: earlier algorithms are more "static" while our new ones allow for the dynamical adjustment of testing levels based on the amount of wealth the algorithm has accumulated. We demonstrate that our algorithms achieve higher power in a variety of synthetic experiments. We also prove that SupLORD can provide error control for both FDR and FDX, and controls FDR at stopping times. Stopping times are particularly important as they permit the experimenter to end the experiment arbitrarily early while maintaining desired control of the FDR. SupLORD is the first non-trivial algorithm, to our knowledge, that can control FDR at stopping times in the online setting.


title: Developing Univariate Neurodegeneration Biomarkers with Low-Rank and Sparse Subspace Decomposition

abstract: Cognitive decline due to Alzheimer's disease (AD) is closely associated with brain structure alterations captured by structural magnetic resonance imaging (sMRI). It supports the validity to develop sMRI-based univariate neurodegeneration biomarkers (UNB). However, existing UNB work either fails to model large group variances or does not capture AD dementia (ADD) induced changes. We propose a novel low-rank and sparse subspace decomposition method capable of stably quantifying the morphological changes induced by ADD. Specifically, we propose a numerically efficient rank minimization mechanism to extract group common structure and impose regularization constraints to encode the original 3D morphometry connectivity. Further, we generate regions-of-interest (ROI) with group difference study between common subspaces of $A\beta+$ AD and $A\beta-$ cognitively unimpaired (CU) groups. A univariate morphometry index (UMI) is constructed from these ROIs by summarizing individual morphological characteristics weighted by normalized difference between $A\beta+$ AD and $A\beta-$ CU groups. We use hippocampal surface radial distance feature to compute the UMIs and validate our work in the Alzheimer's Disease Neuroimaging Initiative (ADNI) cohort. With hippocampal UMIs, the estimated minimum sample sizes needed to detect a 25$\%$ reduction in the mean annual change with 80$\%$ power and two-tailed $P=0.05$ are 116, 279 and 387 for the longitudinal $A\beta+$ AD, $A\beta+$ mild cognitive impairment (MCI) and $A\beta+$ CU groups, respectively. Additionally, for MCI patients, UMIs well correlate with hazard ratio of conversion to AD ($4.3$, $95\%$ CI=$2.3-8.2$) within 18 months. Our experimental results outperform traditional hippocampal volume measures and suggest the application of UMI as a potential UNB.


title: Volume Statistics as a Probe of Large-Scale Structure

abstract: We investigate the application of volume statistics to probe the distribution of underdense regions in the large-scale structure of the Universe. This statistic measures the distortion of Eulerian volume elements relative to Lagrangian ones and can be built from tracer particles using tessellation methods. We apply Voronoi and Delaunay tessellation to study the clustering properties of density and volume statistics. Their level of shot-noise contamination is similar, as both methods take into account all available tracer particles in the field estimator. The tessellation causes a smoothing effect in the power spectrum, which can be approximated by a constant window function on large scales. The clustering bias of the volume statistic with respect to the dark matter density field is determined and found to be negative. We further identify the Baryon Acoustic Oscillation (BAO) feature in the volume statistic. Apart from being smoothed out on small scales, the BAO is present in the volume power spectrum as well, without any systematic bias. These observations suggest that the exploitation of volume statistics as a complementary probe of cosmology is very promising.


title: Recent Developments on ESPnet Toolkit Boosted by Conformer

abstract: In this study, we present recent developments on ESPnet: End-to-End Speech Processing toolkit, which mainly involves a recently proposed architecture called Conformer, Convolution-augmented Transformer. This paper shows the results for a wide range of end-to-end speech processing applications, such as automatic speech recognition (ASR), speech translations (ST), speech separation (SS) and text-to-speech (TTS). Our experiments reveal various training tips and significant performance benefits obtained with the Conformer on different tasks. These results are competitive or even outperform the current state-of-art Transformer models. We are preparing to release all-in-one recipes using open source and publicly available corpora for all the above tasks with pre-trained models. Our aim for this work is to contribute to our research community by reducing the burden of preparing state-of-the-art research environments usually requiring high resources.


title: MELD: Meta-Reinforcement Learning from Images via Latent State Models

abstract: Meta-reinforcement learning algorithms can enable autonomous agents, such as robots, to quickly acquire new behaviors by leveraging prior experience in a set of related training tasks. However, the onerous data requirements of meta-training compounded with the challenge of learning from sensory inputs such as images have made meta-RL challenging to apply to real robotic systems. Latent state models, which learn compact state representations from a sequence of observations, can accelerate representation learning from visual inputs. In this paper, we leverage the perspective of meta-learning as task inference to show that latent state models can \emph{also} perform meta-learning given an appropriately defined observation space. Building on this insight, we develop meta-RL with latent dynamics (MELD), an algorithm for meta-RL from images that performs inference in a latent state model to quickly acquire new skills given observations and rewards. MELD outperforms prior meta-RL methods on several simulated image-based robotic control problems, and enables a real WidowX robotic arm to insert an Ethernet cable into new locations given a sparse task completion signal after only $8$ hours of real world meta-training. To our knowledge, MELD is the first meta-RL algorithm trained in a real-world robotic control setting from images.


title: Insights into searches for anisotropies in the nanohertz gravitational-wave background

abstract: Within the next several years pulsar timing arrays (PTAs) are positioned to detect the stochastic gravitational-wave background (GWB) likely produced by the collection of inspiralling super-massive black holes binaries, and potentially constrain some exotic physics. So far most of the pulsar timing data analysis has focused on the monopole of the GWB, assuming it is perfectly isotropic. The natural next step is to search for anisotropies in the GWB. In this paper, we use the recently developed PTA Fisher matrix to gain insights into optimal search strategies for GWB anisotropies. For concreteness, we apply our results to EPTA data, using realistic noise characteristics of its pulsars. We project the detectability of a GWB whose angular dependence is assumed to be a linear combination of predetermined maps, such as spherical harmonics or coarse pixels. We find that the GWB monopole is always statistically correlated with these maps, implying a loss of sensitivity to the monopole when searching simultaneously for anisotropies. We then derive the angular distributions of the GWB intensity to which a PTA is most sensitive, and illustrate how one may use these "principal maps" to approximately reconstruct the angular dependence of the GWB. Since the principal maps are neither perfectly anisotropic nor uncorrelated with the monopole, we also develop a frequentist criterion to specifically search for anisotropies in the GWB without any prior knowledge about their angular distribution. Lastly, we show how to recover existing EPTA results with our Fisher formalism, and clarify their meaning. The tools presented here will be valuable in guiding and optimizing the computationally demanding analyses of pulsar timing data.


title: A Model for Coronal Inflows and In/Out Pairs

abstract: This report presents a three-dimensional (3D) numerical magnetohydrodynamics (MHD) model of the white-light coronagraph observational phenomena known as coronal inflows and in/out pairs. Coronal inflows in the LASCO/C2 field of view (approximately 2-6 Rs) were thought to arise from the dynamic and intermittent release of solar wind plasma associated with the helmet streamer belt as the counterpart to outward-propagating streamer blobs, formed by magnetic reconnection. This interpretation was essentially confirmed with the subsequent identification of in/out pairs and the multispacecraft observations of their 3D structure. The MHD simulation results show relatively narrow lanes of density depletion form high in the corona and propagate inwards with sinuous motion which has been characterized as `tadpole-like' in coronagraph imagery. The height--time evolution and velocity profiles of the simulation inflows and in/out pairs are compared to their corresponding observations and a detailed analysis of the underlying magnetic field structure associated with the synthetic white-light and mass density evolution is presented. Understanding the physical origin of this structured component of the slow solar wind's intrinsic variability could make a significant contribution to solar wind modeling and the interpretation of remote and in-situ observations from Parker Solar Probe and Solar Orbiter.


title: Ultra-high energy Inverse Compton emission from Galactic electron accelerators

abstract: It is generally held that >100 TeV emission from astrophysical objects unambiguously demonstrates the presence of PeV protons or nuclei, due to the unavoidable Klein-Nishina suppression of inverse Compton emission from electrons. However, in the presence of inverse Compton dominated cooling, hard high-energy electron spectra are possible. We show that the environmental requirements for such spectra can naturally be met in spiral arms, and in particular in regions of enhanced star formation activity, the natural locations for the most promising electron accelerators: powerful young pulsars. Our scenario suggests a population of hard ultra-high energy sources is likely to be revealed in future searches, and may also provide a natural explanation for the 100 TeV sources recently reported by HAWC.


title: A Linear Quadratic Partially Observed Stackelberg Stochastic Differential Game with Applications

abstract: This paper is concerned with a linear-quadratic partially observed Stackelberg stochastic differential game with correlated state and observation noises, where the diffusion coefficient does not contain the control variable and the control set is not necessarily convex. Both the leader and the follower have their own observation equations, and the information filtration available to the leader is contained in that to the follower. By spike variational, state decomposition and backward separation techniques, necessary and sufficient conditions of the Stackelberg equilibrium points are derived. In the follower's problem, the state estimation feedback of optimal control can be represented by a forward-backward stochastic differential filtering equation and some Riccati equation. In the leader's problem, via the innovation process, the state estimation feedback of optimal control is represented by a stochastic differential filtering equation, a semi-martingale process and three high-dimensional Riccati equations. At the same time, the uniqueness and existence of solutions to adjoint equations can be guaranteed by a new combined idea, and a kind of fully coupled forward-backward stochastic differential equations with filtering is studied as a by-product. Then we give explicit expressions of Stackelberg equilibrium points in a special case. As a practical application, an inspiring dynamic advertising problem with asymmetric information is studied, and the effectiveness and reasonability of the theoretical result is illustrated by numerical simulations. Moreover, the relationship between optimal control, state estimate and some practical parameters is analyzed in detail.


title: Task-Aware Neural Architecture Search

abstract: The design of handcrafted neural networks requires a lot of time and resources. Recent techniques in Neural Architecture Search (NAS) have proven to be competitive or better than traditional handcrafted design, although they require domain knowledge and have generally used limited search spaces. In this paper, we propose a novel framework for neural architecture search, utilizing a dictionary of models of base tasks and the similarity between the target task and the atoms of the dictionary; hence, generating an adaptive search space based on the base models of the dictionary. By introducing a gradient-based search algorithm, we can evaluate and discover the best architecture in the search space without fully training the networks. The experimental results show the efficacy of our proposed task-aware approach.


title: Stars and gas in the most metal-poor galaxies I: COS and MUSE observations of SBS 0335-052E

abstract: Among the nearest most metal-poor starburst-dwarf galaxies known, SBS 0335-052E is the most luminous in integrated nebular He II {\lambda}4686 emission. This makes it a unique target to test spectral synthesis models and spectral interpretation tools of the kind that will be used to interpret future rest-frame UV observations of primeval galaxies. Previous attempts to reproduce its He II {\lambda}4686 emission luminosity found that X-ray sources, shocks, and single Wolf-Rayet stars are not main contributors to the He II-ionizing budget; and that only metal-free single rotating stars or binary stars with a top-heavy IMF and an unphysically-low metallicity can reproduce it. We present new UV (COS) and optical (MUSE) spectra which integrate the light of four super star clusters in SBS 0335-052E. Nebular He II, [C III], C III], C IV, and O III] UV emission lines with equivalent widths between 1.7 and 5 {\AA}, and a C IV {\lambda}{\lambda}1548, 1551 P-Cygni like profile are detected. Recent extremely-metal poor shock + precursor models and binary models fail to reproduce the observed optical emission-line ratios. We use different sets of UV and optical observables to test models of constant star formation with single non-rotating stars which account for very massive stars, as blueshifted O V {\lambda}1371 absorption is present. Simultaneously fitting the fluxes of all high-ionization UV lines requires an unphysically-low metallicity. Fitting the P-Cygni like + nebular components of C IV {\lambda}{\lambda}1548, 1551 does not constrain the stellar metallicity and time since the beginning of star formation. We obtain 12+log(O/H)=7.45\pm0.04 and log(C/O)=-0.45(+0.03)(-0.04) for the galaxy. Model-testing would benefit from higher spatial resolution UV and optical spectroscopy of the galaxy.


title: On length measures of planar closed curves and the comparison of convex shapes

abstract: In this paper, we revisit the notion of length measures associated to planar closed curves. These are a special case of area measures of hypersurfaces which were introduced early on in the field of convex geometry. The length measure of a curve is a measure on the circle $\mathbb{S}^1$ that intuitively represents the length of the portion of curve which tangent vector points in a certain direction. While a planar closed curve is not characterized by its length measure, the fundamental Minkowski-Fenchel-Jessen theorem states that length measures fully characterize convex curves modulo translations, making it a particularly useful tool in the study of geometric properties of convex objects. The present work, that was initially motivated by problems in shape analysis, introduces length measures for the general class of Lipschitz immersed and oriented planar closed curves, and derives some of the basic properties of the length measure map on this class of curves. We then focus specifically on the case of convex shapes and present several new results. First, we prove an isoperimetric characterization of the unique convex curve associated to some length measure given by the Minkowski-Fenchel-Jessen theorem, namely that it maximizes the signed area among all the curves sharing the same length measure. Second, we address the problem of constructing a distance with associated geodesic paths between convex planar curves. For that purpose, we introduce and study a new distance on the space of length measures that corresponds to a constrained variant of the Wasserstein metric of optimal transport, from which we can induce a distance between convex curves. We also propose a primal-dual algorithm to numerically compute those distances and geodesics, and show a few simple simulations to illustrate the approach.


title: Vertex Dependent Dynamic Response of a Connected Kagome Artificial Spin Ice

abstract: We present the dynamic response of a connected Kagome artificial spin ice with emphasis on the effect of the vertex magnetization configuration on the mode characteristics. We use broadband ferromagnetic resonance (FMR) spectroscopy and micromagnetic simulations to identify and characterize resonant modes. We find the mode frequencies of elongated, single-domain film segments not only depend on the orientation of their easy-axis with respect to the applied magnetic field, but also depend on the vertex magnetization configuration, which suggests control over the FMR mode can be accomplished by altering the vertex magnetization. Moreover, we study differences between the vertex center mode (VCM) and the localized domain wall (LDW) mode. We show that the LDW mode acts as a signature of the domain wall (DW) nucleation process and the DW dynamics active during segment reversal events. The results show the VCM and LDW modes can be controlled using a field protocol, which has important implications for applications in magnonic and spintronic devices.


title: A Lichnerowicz-type estimate for Steklov eigenvalues on graphs and its rigidity

abstract: In this paper, we obtain a Lichnerowicz-type estimate for the first Steklov eigenvalues on graphs and discuss its rigidity.


title: Impact of Spherical Coordinates Transformation Pre-processing in Deep Convolution Neural Networks for Brain Tumor Segmentation and Survival Prediction

abstract: Pre-processing and Data Augmentation play an important role in Deep Convolutional Neural Networks (DCNN). Whereby several methods aim for standardization and augmentation of the dataset, we here propose a novel method aimed to feed DCNN with spherical space transformed input data that could better facilitate feature learning compared to standard Cartesian space images and volumes. In this work, the spherical coordinates transformation has been applied as a preprocessing method that, used in conjunction with normal MRI volumes, improves the accuracy of brain tumor segmentation and patient overall survival (OS) prediction on Brain Tumor Segmentation (BraTS) Challenge 2020 dataset. The LesionEncoder framework has been then applied to automatically extract features from DCNN models, achieving 0.586 accuracy of OS prediction on the validation data set, which is one of the best results according to BraTS 2020 leaderboard.


title: Angular analysis of the decay B$^+$ $\to$ K$^*$(892)$^+\mu^+\mu^-$ in proton-proton collisions at $\sqrt{s} =$ 8 TeV

abstract: Angular distributions of the decay B$^+$ $\to$ K$^*$(892)$^+\mu^+\mu^-$ are studied using events collected with the CMS detector in $\sqrt{s} =$ 8 TeV proton-proton collisions at the LHC, corresponding to an integrated luminosity of 20.0 fb$^{-1}$. The forward-backward asymmetry of the muons and the longitudinal polarization of the K$^*$(892)$^+$ meson are determined as a function of the square of the dimuon invariant mass. These are the first results from this exclusive decay mode and are in agreement with a standard model prediction.


title: Comparison of Steklov eigenvalues and Laplacian eigenvalues on graphs

abstract: In this paper, we obtain a comparison of Steklov eigenvalues and Laplacian eigenvalues on graphs and discuss its rigidity. As applications of the comparison of eigenvalues, we obtain Lichnerowicz-type estimates and some combinatorial estimates for Steklov eigenvalues on graphs.


title: An Analysis of Security Vulnerabilities in Container Images for Scientific Data Analysis

abstract: Software containers greatly facilitate the deployment and reproducibility of scientific data analyses in various platforms. However, container images often contain outdated or unnecessary software packages, which increases the number of security vulnerabilities in the images, widens the attack surface in the container host, and creates substantial security risks for computing infrastructures at large. This paper presents a vulnerability analysis of container images for scientific data analysis. We compare results obtained with four vulnerability scanners, focusing on the use case of neuroscience data analysis, and quantifying the effect of image update and minification on the number of vulnerabilities. We find that container images used for neuroscience data analysis contain hundreds of vulnerabilities, that software updates remove about two thirds of these vulnerabilities, and that removing unused packages is also effective. We conclude with recommendations on how to build container images with a reduced amount of vulnerabilities.


title: Measurement of $^{58}$Ni($p$, $p$)$^{58}$Ni elastic scattering at low momentum transfer by using the HIRFL-CSR heavy-ion storage ring

abstract: The very first in-ring reaction experiment at the HIRFL-CSR heavy-ion storage ring, namely proton elastic scattering on stable $^{58}$Ni nuclei, is presented. The circulating $^{58}$Ni$^{19+}$ ions with an energy of 95 MeV/u were interacting repeatedly with an internal hydrogen gas target in the CSRe experimental ring. Low energy proton recoils from the elastic collisions were measured with an ultra-high vacuum compatible silicon-strip detector. Deduced differential cross sections were normalized by measuring K-shell X-rays from $^{58}$Ni$^{19+}$ projectiles due to the $^{58}$Ni$^{19+}$-H$_2$ ionization collisions. Compared to the experimental cross sections, a good agreement has been achieved with the theoretical predictions in the measured region, which were obtained by using the global phenomenological optical model potentials. Our results enable new research opportunities for optical model potential studies on exotic nuclides by using the in-ring reaction setup at the HIRFL-CSR facility.


title: GPUTreeShap: Massively Parallel Exact Calculation of SHAP Scores for Tree Ensembles

abstract: SHAP (SHapley Additive exPlanation) values provide a game theoretic interpretation of the predictions of machine learning models based on Shapley values. While exact calculation of SHAP values is computationally intractable in general, a recursive polynomial-time algorithm called TreeShap is available for decision tree models. However, despite its polynomial time complexity, TreeShap can become a significant bottleneck in practical machine learning pipelines when applied to large decision tree ensembles. Unfortunately, the complicated TreeShap algorithm is difficult to map to hardware accelerators such as GPUs. In this work, we present GPUTreeShap, a reformulated TreeShap algorithm suitable for massively parallel computation on graphics processing units. Our approach first preprocesses each decision tree to isolate variable sized sub-problems from the original recursive algorithm, then solves a bin packing problem, and finally maps sub-problems to single-instruction, multiple-thread (SIMT) tasks for parallel execution with specialised hardware instructions. With a single NVIDIA Tesla V100-32 GPU, we achieve speedups of up to 19x for SHAP values, and speedups of up to 340x for SHAP interaction values, over a state-of-the-art multi-core CPU implementation executed on two 20-core Xeon E5-2698 v4 2.2 GHz CPUs. We also experiment with multi-GPU computing using eight V100 GPUs, demonstrating throughput of 1.2M rows per second -- equivalent CPU-based performance is estimated to require 6850 CPU cores.


title: Universal R\'enyi Entropy of Quasiparticle Excitations

abstract: The R\'enyi entropies of quasiparticle excitations in the many-body gapped systems show a remarkable universal picture which can be understood partially by combination of a semiclassical argument with the quantum effect of (in)distinguishability. The universal R\'enyi entropies are independent of the model, the quasiparticle momenta, and the connectedness of the subsystem. In this letter we calculate exactly the single-interval and double-interval R\'enyi entropies of quasiparticle excitations in the many-body gapped fermions, bosons, and XY chains. We find additional contributions to the universal R\'enyi entropy in the excited states with quasiparticles of different momenta. The additional terms are different in the fermionic and bosonic chains, depend on the momentum differences of the quasiparticles, and are different for the single interval and the double interval. We derive the analytical R\'enyi entropy in the extremely gapped limit, matching perfectly the numerical results as long as either the intrinsic correlation length of the model or all the de Broglie wavelengths of the quasiparticles are small. When the momentum difference of any pair of distinct quasiparticles is small, the additional terms are non-negligible. On the contrary, when the difference of the momenta of each pair of distinct quasiparticles is large, the additional terms could be neglected. The universal single-interval R\'enyi entropy and its additional terms in the XY chain are the same as those in the fermionic chain, while the universal R\'enyi entropy of the double intervals and its additional terms are different, due to the fact that the local degrees of freedom of the XY chain are the Pauli matrices not the spinless fermions. We argue that the derived formulas have universal properties and can be applied for a wider range of models than those discussed here.


title: Decentralized Attribution of Generative Models

abstract: Growing applications of generative models have led to new threats such as malicious personation and digital copyright infringement. One solution to these threats is model attribution, i.e., the identification of user-end models where the contents under question are generated from. Existing studies showed empirical feasibility of attribution through a centralized classifier trained on all user-end models. However, this approach is not scalable in reality as the number of models ever grows. Neither does it provide an attributability guarantee. To this end, this paper studies decentralized attribution, which relies on binary classifiers associated with each user-end model. Each binary classifier is parameterized by a user-specific key and distinguishes its associated model distribution from the authentic data distribution. We develop sufficient conditions of the keys that guarantee an attributability lower bound. Our method is validated on MNIST, CelebA, and FFHQ datasets. We also examine the trade-off between generation quality and robustness of attribution against adversarial post-processes.


title: Wearing a MASK: Compressed Representations of Variable-Length Sequences Using Recurrent Neural Tangent Kernels

abstract: High dimensionality poses many challenges to the use of data, from visualization and interpretation, to prediction and storage for historical preservation. Techniques abound to reduce the dimensionality of fixed-length sequences, yet these methods rarely generalize to variable-length sequences. To address this gap, we extend existing methods that rely on the use of kernels to variable-length sequences via use of the Recurrent Neural Tangent Kernel (RNTK). Since a deep neural network with ReLu activation is a Max-Affine Spline Operator (MASO), we dub our approach Max-Affine Spline Kernel (MASK). We demonstrate how MASK can be used to extend principal components analysis (PCA) and t-distributed stochastic neighbor embedding (t-SNE) and apply these new algorithms to separate synthetic time series data sampled from second-order differential equations.


title: A new realization of the i-quantum group U^j(n)

abstract: We follow the approach developed by Beilinson-Lusztig-MacPherson and modified by Fu and the first author to investigate a new realization for the i-quantum groups U^j(n) of type B, building on the multiplication formulas discovered in [BKLW,Lem.~3.2]. This allows us to present U^j(n) via a basis and multiplication formulas by generators. We also establish a surjective algebra homomorphism from a Lusztig type form of U^j(n) to integral q-Schur algebras of type B. Thus, base changes allow us to relate representations of the i-quantum hyperalgebras of U^j(n) to representations of finite orthogonal groups of odd degree in non-defining characteristics. This generalizes part of Dipper--James' type A theory to the type B case.


title: Predicting the Structural, Electronic and Magnetic Properties of Few Atomic-layer Polar Perovskite

abstract: Density functional theory (DFT) calculations are performed to predict the structural, electronic and magnetic properties of electrically neutral or charged few-atomic-layer (AL) oxides whose parent systems are based on polar perovskite $KTaO_{3}$. Their properties vary greatly with the number of ALs ($n_{AL}$) and the stoichiometric ratio. In the few-AL limit ($n_{AL}\leqslant 14$), the even AL (EL) systems with chemical formula $(KTaO_{3})_{n}$ are semiconductors, while the odd AL (OL) systems with formula ($K_{n+1}Ta_{n}O_{3n+1}$ or $K_{n}Ta_{n+1}O_{3n+2}$) are half-metal except for the unique $KTa_{2}O_{5}$ case which is a semiconductor due to the large Peierls distortions. After reaching certain critical thickness ($n_{AL}>14$), the EL systems show ferromagnetic surface states, while ferromagnetism disappears in the OL systems. These predictions from fundamental complexity of polar perovskite when approaching the two-dimensional (2D) limit may be helpful for interpreting experimental observations later.


title: Construction of Two Statistical Anomaly Features for Small-Sample APT Attack Traffic Classification

abstract: Advanced Persistent Threat (APT) attack, also known as directed threat attack, refers to the continuous and effective attack activities carried out by an organization on a specific object. They are covert, persistent and targeted, which are difficult to capture by traditional intrusion detection system(IDS). The traffic generated by the APT organization, which is the organization that launch the APT attack, has a high similarity, especially in the Command and Control(C2) stage. The addition of features for APT organizations can effectively improve the accuracy of traffic detection for APT attacks. This paper analyzes the DNS and TCP traffic of the APT attack, and constructs two new features, C2Load_fluct (response packet load fluctuation) and Bad_rate (bad packet rate). The analysis showed APT attacks have obvious statistical laws in these two features. This article combines two new features with common features to classify APT attack traffic. Aiming at the problem of data loss and boundary samples, we improve the Adaptive Synthetic(ADASYN) Sampling Approach and propose the PADASYN algorithm to achieve data balance. A traffic classification scheme is designed based on the AdaBoost algorithm. Experiments show that the classification accuracy of APT attack traffic is improved after adding new features to the two datasets so that 10 DNS features, 11 TCP and HTTP/HTTPS features are used to construct a Features set. On the two datasets, F1-score can reach above 0.98 and 0.94 respectively, which proves that the two new features in this paper are effective for APT traffic detection.


title: Diffusing wave spectroscopy: a unified treatment on temporal sampling and speckle ensemble methods

abstract: Diffusing wave spectroscopy (DWS) is a well-known set of methods to measure the temporal dynamics of dynamic samples. In DWS, dynamic samples scatter the incident coherent light, and the information of the temporal dynamics is encoded in the scattered light. To record and analyze the light signal, there exist two types of methods - temporal sampling methods and speckle ensemble methods. Temporal sampling methods, including diffuse correlation spectroscopy (DCS), use one or multiple large bandwidth detectors to well sample and analyze the temporal light signal to infer the sample temporal dynamics. Speckle ensemble methods, including speckle visibility spectroscopy (SVS), use a high-pixel-count camera sensor to capture a speckle pattern and use the speckle contrast to infer sample temporal dynamics. In this paper, we theoretically and experimentally demonstrate that the decorrelation time ({\tau}) measurement accuracy or SNR of the two types of methods has a unified and similar fundamental expression based on the number of independent observables (NIO) and the photon flux. Given a time measurement duration, NIO in temporal sampling methods is constrained by the measurement duration, while speckle ensemble methods can outperform by using simultaneous sampling channels to scale up NIO significantly. In the case of optical brain monitoring, the interplay of these factors favors speckle ensemble methods. We illustrate that this important engineering consideration is consistent with the previous research on blood pulsatile flow measurements, where a speckle ensemble method operating at 100-fold lower photon flux than a conventional temporal sampling system can achieve a comparable SNR.


title: Chandra Observations of Abell 2261 Brightest Cluster Galaxy, a Candidate Host to a Recoiling Black Hole

abstract: We use Chandra X-ray observations to look for evidence of a recoiling black hole from the brightest cluster galaxy in Abell 2261 (A2261-BCG). A2261-BCG is a strong candidate for a recoiling black hole because of its large, flat stellar core, revealed by Hubble Space Telescope imaging observations. We took 100-ksec observations with Chandra and combined it with 35 ksec of archival observations to look for low-level accretion onto a black hole of expected mass $M\sim10^{10}\ M_{\scriptscriptstyle \odot}$ that could possibly be located in one of four off-center stellar knots near the galaxy's center or else in the optical center of the galaxy or in the location of radio emission. We found no X-ray emission arising from a point source in excess of the cluster gas and can place limits on the accretion of any black hole in the central region to a 2-7 keV flux below $4.3 \times 10^{-16}\ \mathrm{erg\ s^{-1}\ cm^{-2}}$, corresponding to a bolometric Eddington fraction of about $10^{-6}$. Thus there is either no $10^{10}\ M_{\scriptscriptstyle \odot}$ black hole in the core of A2261-BCG, or it is accreting at a low level. We also discuss the morphology of the X-ray emitting gas in the cluster and how its asymmetry is consistent with a large dynamic event.


title: A Members First Approach to Enabling LinkedIn's Labor Market Insights at Scale

abstract: We describe the privatization method used in reporting labor market insights from LinkedIn's Economic Graph, including the differentially private algorithms used to protect member's privacy. The reports show who are the top employers, as well as what are the top jobs and skills in a given country/region and industry. We hope this data will help governments and citizens track labor market trends during the COVID-19 pandemic while also protecting the privacy of our members.


title: Predict and Use Latent Patterns for Short-Text Conversation

abstract: Many neural network models nowadays have achieved promising performances in Chit-chat settings. The majority of them rely on an encoder for understanding the post and a decoder for generating the response. Without given assigned semantics, the models lack the fine-grained control over responses as the semantic mapping between posts and responses is hidden on the fly within the end-to-end manners. Some previous works utilize sampled latent words as a controllable semantic form to drive the generated response around the work, but few works attempt to use more complex semantic patterns to guide the generation. In this paper, we propose to use more detailed semantic forms, including latent responses and part-of-speech sequences sampled from the corresponding distributions, as the controllable semantics to guide the generation. Our results show that the richer semantics are not only able to provide informative and diverse responses, but also increase the overall performance of response quality, including fluency and coherence.


title: A Neuro-Symbolic Humanlike Arm Controller for Sophia the Robot

abstract: We outline the design and construction of novel robotic arms using machine perception, convolutional neural networks, and symbolic AI for logical control and affordance indexing. We describe our robotic arms built with a humanlike mechanical configuration and aesthetic, with 28 degrees of freedom, touch sensors, and series elastic actuators. The arms were modelled in Roodle and Gazebo with URDF models, as well as Unity, and implement motion control solutions for solving live games of Baccarat (the casino card game), rock paper scissors, handshaking, and drawing. This includes live interactions with people, incorporating both social control of the hands and facial gestures, and physical inverse kinematics (IK) for grasping and manipulation tasks. The resulting framework is an integral part of the Sophia 2020 alpha platform, which is being used with ongoing research in the authors work with team AHAM, an ANA Avatar Xprize effort towards human-AI hybrid telepresence. These results are available to test on the broadly released Hanson Robotics Sophia 2020 robot platform, for users to try and extend.


title: Interpretation of NLP models through input marginalization

abstract: To demystify the "black box" property of deep neural networks for natural language processing (NLP), several methods have been proposed to interpret their predictions by measuring the change in prediction probability after erasing each token of an input. Since existing methods replace each token with a predefined value (i.e., zero), the resulting sentence lies out of the training data distribution, yielding misleading interpretations. In this study, we raise the out-of-distribution problem induced by the existing interpretation methods and present a remedy; we propose to marginalize each token out. We interpret various NLP models trained for sentiment analysis and natural language inference using the proposed method.


title: Defect-induced $4p$-magnetism in layered platinum diselenide

abstract: Platinum diselenide (PtSe$_{2}$) is a recently-discovered extrinsic magnet, with its magnetism attributed to the presence of Pt-vacancies. The host material to these defects itself displays interesting structural and electronic properties, some of which stem from an unusually strong interaction between its layers. To date, it is not clear how the unique intrinsic properties of PtSe$_2$ will affect its induced magnetism. In this theoretical work, we show that the defect-induced magnetism in PtSe$_{2}$ thin films is highly sensitive to: (i) the layer-thickness (ii) defect density, and (iii) substrate choice. These different factors dramatically modify all magnetic properties, including the magnitude of local moments, strength of the coupling, and even nature of the coupling between the moments. We further show that the strong inter-layer interactions are key to understanding these effects. A better understanding of the various influences on magnetism, can enable controllable tuning of the magnetic properties in Pt-based dichalcogenides, which can be used to design novel devices for magnetoelectric and magneto-optic applications.


title: REITS: Reflective Surface for Intelligent Transportation Systems

abstract: Autonomous vehicles are predicted to dominate the transportation industry in the foreseeable future. Safety is one of the major challenges to the early deployment of self-driving systems. To ensure safety, self-driving vehicles must sense and detect humans, other vehicles, and road infrastructure accurately, robustly, and timely. However, existing sensing techniques used by self-driving vehicles may not be absolutely reliable. In this paper, we design REITS, a system to improve the reliability of RF-based sensing modules for autonomous vehicles. We conduct theoretical analysis on possible failures of existing RF-based sensing systems. Based on the analysis, REITS adopts a multi-antenna design, which enables constructive blind beamforming to return an enhanced radar signal in the incident direction. REITS can also let the existing radar system sense identification information by switching between constructive beamforming state and destructive beamforming state. Preliminary results show that REITS improves the detection distance of a self-driving car radar by a factor of 3.63.


title: Stabilizers of Stationary Actions of Lattices in Semisimple Groups

abstract: Every stationary action of a strongly irreducible lattice or commensurator of such a latiice in a general semisimple group, with at least one higher-rank connected factor, either has finite stabilizers almost surely or finite index stabilizers almost surely.


title: Toward Better Generalization Bounds with Locally Elastic Stability

abstract: Algorithmic stability is a key characteristic to ensure the generalization ability of a learning algorithm. Among different notions of stability, \emph{uniform stability} is arguably the most popular one, which yields exponential generalization bounds. However, uniform stability only considers the worst-case loss change (or so-called sensitivity) by removing a single data point, which is distribution-independent and therefore undesirable. There are many cases that the worst-case sensitivity of the loss is much larger than the average sensitivity taken over the single data point that is removed, especially in some advanced models such as random feature models or neural networks. Many previous works try to mitigate the distribution independent issue by proposing weaker notions of stability, however, they either only yield polynomial bounds or the bounds derived do not vanish as sample size goes to infinity. Given that, we propose \emph{locally elastic stability} as a weaker and distribution-dependent stability notion, which still yields exponential generalization bounds. We further demonstrate that locally elastic stability implies tighter generalization bounds than those derived based on uniform stability in many situations by revisiting the examples of bounded support vector machines, regularized least square regressions, and stochastic gradient descent.


title: Large-scale Interconnection Power System Model Sanity Check, Tuning, and Validation for Frequency Response Study

abstract: The quality and accuracy of power system models is critical for simulation-based studies, especially for studying actual stability issues in large-scale systems. With the deployment of wide-area monitoring systems (WAMSs), the high-reporting-rate frequency measurement provides a trustworthy ground truth for validating models in frequency response studies. This paper documented an effort to check, tune, and validate the U.S. power system model based on a WAMS called FNET/GridEye. Four metrics are used to quantitatively compare the simulation results and the actual measurement, including frequency nadir, RoCoF, settling frequency and settling time. After tuning governor deadband and the governor ratio, the model frequency response shows significant improvement and matches well with the event measurement data. This work serves as an example for tuning and validating large-scale power system models.


title: Kinematical signs of dust trapping and feedback in a local pressure bump in the protoplanetary disk around HD 142527 revealed with ALMA

abstract: We analyzed the archival data of the continuum emission at six wavelengths from 3 to 0.4 mm and 13CO and C18O (1-0, 2-1, and 3-2) lines in the protoplanetary disk around HD 142527 obtained with the Atacama Large Millimeter/submillimeter Array. We performed fitting to the spectral energy distributions obtained at the six wavelengths with the gray-body slab models to estimate the distributions of the dust surface density and spectral index of dust absorption coefficient beta. We also estimated the distribution of the gas column density by fitting the C18O spectra and measured the disk rotation by fitting the Keplerian disk models to the C18O data. We found super- and sub-Keplerian rotation inside and outside the dust ring in the northwest in the HD 142527 disk, suggestive of the presence of a local pressure bump. In comparison with our estimated dust and gas distributions, the location of the pressure bump is coincident with the region showing a three times higher dust density and a three times lower gas-to-dust mass ratio than the mean values in the disk, suggesting dust trapping in the pressure bump. Nevertheless, there is no correlation between our derived beta distribution and the location of the pressure bump. In addition, we found that the width of the dust ring is comparable or larger than the width of the pressure bump, which could suggest that dust feedback is significant in the pressure bump.


title: Speech SIMCLR: Combining Contrastive and Reconstruction Objective for Self-supervised Speech Representation Learning

abstract: Self-supervised visual pretraining has shown significant progress recently. Among those methods, SimCLR greatly advanced the state of the art in self-supervised and semi-supervised learning on ImageNet. The input feature representations for speech and visual tasks are both continuous, so it is natural to consider applying similar objective on speech representation learning. In this paper, we propose Speech SimCLR, a new self-supervised objective for speech representation learning. During training, Speech SimCLR applies augmentation on raw speech and its spectrogram. Its objective is the combination of contrastive loss that maximizes agreement between differently augmented samples in the latent space and reconstruction loss of input representation. The proposed method achieved competitive results on speech emotion recognition and speech recognition.


title: Precision of The Chinese Space Station Telescope (CSST) Stellar Radial Velocities

abstract: The Chinese Space Station Telescope (CSST) spectroscopic survey plans to deliver high-quality low-resolution ($R > 200$) slitless spectra for hundreds of millions of targets down to a limiting magnitude of about 21 mag, covering a large survey area (17500 deg$^2$) and a wide wavelength range (255-1000 nm by 3 bands GU, GV, and GI). In this work, we use empirical spectra of the Next Generation Spectral Library to simulate the CSST stellar spectra at $R = 250$, and investigate their capabilities in measuring radial velocities. We find that velocity uncertainties depend strongly on effective temperature, weakly on metallicity for only FGK stars, and hardly on surface gravity. It is possible to deliver stellar radial velocities to a precision of about $3 \,\mathrm{km}\,\mathrm{s}^{-1}$ for AFGKM stars, and about $10 \,\mathrm{km}\,\mathrm{s}^{-1}$ for OB stars, at signal-to-noise ratio (SNR) of 100. Velocity uncertainties using single GU/GV/GI band spectra are also explored. Given the same SNR, the GU band performs best, the GV band the second best, and then the GI band. The effects of spectral normalization and imperfect template on velocity measurements are investigated and found to be very weak. The uncertainties caused by wavelength calibration are considered and found to be moderate. Given the possible precision of radial velocities, the CSST spectroscopic survey can enable interesting science such as searching for hyper-velocity stars. Limitations of our results are also discussed.


title: Combining Label Propagation and Simple Models Out-performs Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are the predominant technique for learning over graphs. However, there is relatively little understanding of why GNNs are successful in practice and whether they are necessary for good performance. Here, we show that for many standard transductive node classification benchmarks, we can exceed or match the performance of state-of-the-art GNNs by combining shallow models that ignore the graph structure with two simple post-processing steps that exploit correlation in the label structure: (i) an "error correlation" that spreads residual errors in training data to correct errors in test data and (ii) a "prediction correlation" that smooths the predictions on the test data. We call this overall procedure Correct and Smooth (C&S), and the post-processing steps are implemented via simple modifications to standard label propagation techniques from early graph-based semi-supervised learning methods. Our approach exceeds or nearly matches the performance of state-of-the-art GNNs on a wide variety of benchmarks, with just a small fraction of the parameters and orders of magnitude faster runtime. For instance, we exceed the best known GNN performance on the OGB-Products dataset with 137 times fewer parameters and greater than 100 times less training time. The performance of our methods highlights how directly incorporating label information into the learning algorithm (as was done in traditional techniques) yields easy and substantial performance gains. We can also incorporate our techniques into big GNN models, providing modest gains. Our code for the OGB results is at https://github.com/Chillee/CorrectAndSmooth.


title: Comparison between renormalization group derived emergent dual holography and string theory based holographic duality

abstract: To clarify the mathematical structure of the RG-derived holographic dual field theory, we rewrite the string-theory based conventionally utilized dual holographic effective field theory based on the ADM decomposition of the metric tensor. This comparison leads us to claim that the RG-derived emergent holographic dual field theory takes into account higher-derivative curvature terms with gauge fixing in the string-theory based conventionally utilized Einstein-Klein-Gordon theory, giving rise to the RG flow of the metric tensor beyond the AdS (anti-de Sitter space) geometry. Furthermore, we compare the Hamilton-Jacobi equation for the effective IR on-shell action of the string-theory based conventionally utilized dual holographic effective theory with that of the RG-based holographic dual field theory. It turns out that the effective IR on-shell action of the string-theory based dual holography can be identified with the IR boundary effective action of the RG-based emergent holographic dual description, where the Wilsonian RG-transformation procedure may be regarded as an inverse process of the holographic renormalization. This demonstration leads us to propose an effective dual holographic field theory with the diffeomorphism invariance and higher derivative curvature terms, where the IR boundary condition is newly introduced to clarify the deep connection between UV microscopic and IR macroscopic degrees of freedom.


title: One-class Learning Towards Synthetic Voice Spoofing Detection

abstract: Human voices can be used to authenticate the identity of the speaker, but the automatic speaker verification (ASV) systems are vulnerable to voice spoofing attacks, such as impersonation, replay, text-to-speech, and voice conversion. Recently, researchers developed anti-spoofing techniques to improve the reliability of ASV systems against spoofing attacks. However, most methods encounter difficulties in detecting unknown attacks in practical use, which often have different statistical distributions from known attacks. Especially, the fast development of synthetic voice spoofing algorithms is generating increasingly powerful attacks, putting the ASV systems at risk of unseen attacks. In this work, we propose an anti-spoofing system to detect unknown synthetic voice spoofing attacks (i.e., text-to-speech or voice conversion) using one-class learning. The key idea is to compact the bona fide speech representation and inject an angular margin to separate the spoofing attacks in the embedding space. Without resorting to any data augmentation methods, our proposed system achieves an equal error rate (EER) of 2.19% on the evaluation set of ASVspoof 2019 Challenge logical access scenario, outperforming all existing single systems (i.e., those without model ensemble).


title: Lengths of maximal green sequences for tame path algebras

abstract: In this paper, we study the maximal length of maximal green sequences for quivers of type $\widetilde{\mathbf{D}}$ and $\widetilde{\mathbf{E}}$ by using the theory of tilting mutation. We show that the maximal length does not depend on the choice of the orientation, and determine it explicitly. Moreover, we give a program which counts all maximal green sequences by length for a given Dynkin/extended Dynkin quiver.


title: A Domain-Shrinking based Bayesian Optimization Algorithm with Order-Optimal Regret Performance

abstract: We consider sequential optimization of an unknown function in a reproducing kernel Hilbert space. We propose a Gaussian process-based algorithm and establish its order-optimal regret performance (up to a poly-logarithmic factor). This is the first GP-based algorithm with an order-optimal regret guarantee. The proposed algorithm is rooted in the methodology of domain shrinking realized through a sequence of tree-based region pruning and refining to concentrate queries in increasingly smaller high-performing regions of the function domain. The search for high-performing regions is localized and guided by an iterative estimation of the optimal function value to ensure both learning efficiency and computational efficiency. Compared with the prevailing GP-UCB family of algorithms, the proposed algorithm reduces computational complexity by a factor of $O(T^{2d-1})$ (where $T$ is the time horizon and $d$ the dimension of the function domain).


title: Nonlinear cosmological structure with ultralight bosons via modified gravity

abstract: Ultra-light bosons as dark matter has become a model of major interest in Cosmology, due to the possible imprint of a distinct signature in the cosmic structure both at the linear and non-linear scales. In this work we show that the equations of motion for density perturbations for this kind of models can be written in terms of a modified gravitational potential. Taking advantage of this parallelism, we use the MG-PICOLA code originally developed for modified gravity models to evolve the density field of axion models with and without self-interaction. Our results indicate that the quantum potential adds extra suppression of power at the non-linear level, and it is even capable of smoothing any bumpy features initially present in the mass power spectrum.


title: Thermodynamic approach to electric quadrupole moments

abstract: Higher-rank electric/magnetic multipole moments are attracting attention these days as candidate order parameters for exotic material phases. However, quantum-mechanical formulation of those multipole moments is still an ongoing issue. In this paper, we propose a thermodynamic definition of electric quadrupole moments as a measure of symmetry breaking, following previous studies of orbital magnetic dipole moments and magnetic quadrupole moments. The obtained formulas are illustrated with a model of orbital-ordered nematic phases of iron-based superconductors.


title: Graph-based Reinforcement Learning for Active Learning in Real Time: An Application in Modeling River Networks

abstract: Effective training of advanced ML models requires large amounts of labeled data, which is often scarce in scientific problems given the substantial human labor and material cost to collect labeled data. This poses a challenge on determining when and where we should deploy measuring instruments (e.g., in-situ sensors) to collect labeled data efficiently. This problem differs from traditional pool-based active learning settings in that the labeling decisions have to be made immediately after we observe the input data that come in a time series. In this paper, we develop a real-time active learning method that uses the spatial and temporal contextual information to select representative query samples in a reinforcement learning framework. To reduce the need for large training data, we further propose to transfer the policy learned from simulation data which is generated by existing physics-based models. We demonstrate the effectiveness of the proposed method by predicting streamflow and water temperature in the Delaware River Basin given a limited budget for collecting labeled data. We further study the spatial and temporal distribution of selected samples to verify the ability of this method in selecting informative samples over space and time.


title: Half metals at intermediate energy scales in Anderson-type insulators

abstract: Although quantum phase transitions involved with Anderson localization had been investigated for more than a half century, the role of spin polarization in these metal-insulator transitions has not been clearly addressed as a function of both the range of interactions and energy scales. Based on the Anderson-Hartree-Fock study, we reveal that the spin polarization has nothing to do with Anderson metal-insulator transitions in three dimensions as far as effective interactions between electrons are long-ranged Coulomb type. On the other hand, we find that metal-insulator transitions appear with magnetism in the case of Hubbard-type local interactions. In particular, we show that the multifractal spectrum of spin $\uparrow$ electrons differs from that of spin $\downarrow$ at the high-energy mobility edge, which indicates the existence of spin-dependent universality classes for metal-insulator transitions. One of the most fascinating and rather unexpected results is the appearance of half metals at intermediate energy scales above the high-energy mobility edge in Anderson-type insulators of the Fermi energy, that is, only spin $\uparrow$ electrons are delocalized while spin $\downarrow$ electrons are Anderson-type localized.


title: Graph Blind Deconvolution with Sparseness Constraint

abstract: We propose a blind deconvolution method for signals on graphs, with the exact sparseness constraint for the original signal. Graph blind deconvolution is an algorithm for estimating the original signal on a graph from a set of blurred and noisy measurements. Imposing a constraint on the number of nonzero elements is desirable for many different applications. This paper deals with the problem with constraints placed on the exact number of original sources, which is given by an optimization problem with an $\ell_0$ norm constraint. We solve this non-convex optimization problem using the ADMM iterative solver. Numerical experiments using synthetic signals demonstrate the effectiveness of the proposed method.


title: Local Connectivity of Polynomial Julia sets at Bounded Type Siegel Boundaries

abstract: Consider a polynomial $f$ of degree $d \geq 2$ that has a Siegel disk $\Delta_f$ with a rotation number of bounded type. We prove that there does not exist a hedgehog containing $\Delta_f$. Moreover, if the Julia set $J_f$ of $f$ is connected, then it is locally connected at the Siegel boundary $\partial \Delta_f$.


title: Epidemic Dynamics via Wavelet Theory and Machine Learning, with Applications to Covid-19

abstract: We introduce the concept of epidemic-fitted wavelets which comprise, in particular, as special cases the number $I(t)$ of infectious individuals at time $t$ in classical SIR models and their derivatives. We present a novel method for modelling epidemic dynamics by a model selection method using wavelet theory and, for its applications, machine learning based curve fitting techniques. Our universal models are functions that are finite linear combinations of epidemic-fitted wavelets. We apply our method by modelling and forecasting, based on the John Hopkins University dataset, the spread of the current Covid-19 (SARS-CoV-2) epidemic in France, Germany, Italy and the Czech Republic, as well as in the US federal states New York and Florida.


title: A Star-based Method for Precise Wavelength Calibration of the Chinese Space Station Telescope (CSST) Slitless Spectroscopic Survey

abstract: The Chinese Space Station Telescope (CSST) spectroscopic survey aims to deliver high-quality low-resolution ($R > 200$) slitless spectra for hundreds of millions of targets down to a limiting magnitude of about 21 mag, distributed within a large survey area (17500 deg$^2$) and covering a wide wavelength range (255-1000 nm by 3 bands GU, GV, and GI). As slitless spectroscopy precludes the usage of wavelength calibration lamps, wavelength calibration is one of the most challenging issues in the reduction of slitless spectra, yet it plays a key role in measuring precise radial velocities of stars and redshifts of galaxies. In this work, we propose a star-based method that can monitor and correct for possible errors in the CSST wavelength calibration using normal scientific observations, taking advantage of the facts that i) there are about ten million stars with reliable radial velocities now available thanks to spectroscopic surveys like LAMOST, ii) the large field of view of CSST enables efficient observations of such stars in a short period of time, and iii) radial velocities of such stars can be reliably measured using only a narrow segment of CSST spectra. We demonstrate that it is possible to achieve a wavelength calibration precision of a few $\mathrm{km}\,\mathrm{s}^{-1}$ for the GU band, and about 10 to 20 $\mathrm{km}\,\mathrm{s}^{-1}$ for the GV and GI bands, with only a few hundred velocity standard stars. Implementations of the method to other surveys are also discussed.


title: Continuous Operator Authentication for Teleoperated Systems Using Hidden Markov Models

abstract: In this paper, we present a novel approach for continuous operator authentication in teleoperated robotic processes based on Hidden Markov Models (HMM). While HMMs were originally developed and widely used in speech recognition, they have shown great performance in human motion and activity modeling. We make an analogy between human language and teleoperated robotic processes (i.e. words are analogous to a teleoperator's gestures, sentences are analogous to the entire teleoperated task or process) and implement HMMs to model the teleoperated task. To test the continuous authentication performance of the proposed method, we conducted two sets of analyses. We built a virtual reality (VR) experimental environment using a commodity VR headset (HTC Vive) and haptic feedback enabled controller (Sensable PHANToM Omni) to simulate a real teleoperated task. An experimental study with 10 subjects was then conducted. We also performed simulated continuous operator authentication by using the JHU-ISI Gesture and Skill Assessment Working Set (JIGSAWS). The performance of the model was evaluated based on the continuous (real-time) operator authentication accuracy as well as resistance to a simulated impersonation attack. The results suggest that the proposed method is able to achieve 70% (VR experiment) and 81% (JIGSAW dataset) continuous classification accuracy with as short as a 1-second sample window. It is also capable of detecting the impersonation attack in real-time.


title: Your signature is your password: Haptic Passwords on Mobile Devices

abstract: In this paper, a new behavioral biometric password based on haptic interaction is described. This "haptic password" system is built on a device that has a force-sensitive screen. The user authentication process leverages maximal overlap discrete wavelet transform (MODWT) based feature extraction along with a customized classifier as well as an adaptive template scheme to accommodate users' variations over time. An experimental study was conducted with 29 subjects and we investigated the authentication performance with multiple user postures under simulated forgery attacks. The performance of the model is evaluated based on authentication accuracies. The results suggest that this proposed haptic password system achieves robust high authentication accuracy and scalability, as well as forgery-proof performance.


title: Characteristics of Magnetic Holes in the Solar Wind Revealed by Parker Solar Probe

abstract: We present a statistical analysis for the characteristics and radial evolution of linear magnetic holes (LMHs) in the solar wind from 0.166 to 0.82 AU using Parker Solar Probe observations of the first two orbits. It is found that the LMHs mainly have a duration less than 25 s and the depth is in the range from 0.25 to 0.7. The durations slightly increase and the depths become slightly deeper with the increasing heliocentric distance. Both the plasma temperature and the density for about 50% of all events inside the holes are higher than the ones surrounding the holes. The average occurrence rate is 8.7 events/day, much higher than that of the previous observations. The occurrence rate of the LMHs has no clear variation with the heliocentric distance (only a slight decreasing trend with the increasing heliocentric distance), and has several enhancements around ~0.525 AU and ~0.775 AU, implying that there may be new locally generated LMHs. All events are segmented into three parts (i.e., 0.27, 0.49 and 0.71 AU) to investigate the geometry evolution of the linear magnetic holes. The results show that the geometry of LMHs are prolonged both across and along the magnetic field direction from the Sun to the Earth, while the scales across the field extend a little faster than along the field. The present study could help us to understand the evolution and formation mechanism of the LMHs in the solar wind.


title: Long Short-Term Memory Neuron Equalizer

abstract: In this work we propose a neuromorphic hardware based signal equalizer by based on the deep learning implementation. The proposed neural equalizer is plasticity trainable equalizer which is different from traditional model designed based DFE. A trainable Long Short-Term memory neural network based DFE architecture is proposed for signal recovering and digital implementation is evaluated through FPGA implementation. Constructing with modelling based equalization methods, the proposed approach is compatible to multiple frequency signal equalization instead of single type signal equalization. We shows quantitatively that the neuronmorphic equalizer which is amenable both analog and digital implementation outperforms in different metrics in comparison with benchmarks approaches. The proposed method is adaptable both for general neuromorphic computing or ASIC instruments.


title: Testing with p*-values: Between p-values, mid p-values, and e-values

abstract: We introduce the notion of p*-values (p*-variables), which generalizes p-values (p-variables) in several senses. The new notion has four natural interpretations: operational, probabilistic, Bayesian, and frequentist. A main example of a p*-value is a mid p-value, which arises in the presence of discrete test statistics. A unified stochastic representation for p-values, mid p-values, and p*-values is obtained to illustrate the relationship between the three objects. We study several ways of merging arbitrarily dependent or independent p*-values into one p-value or p*-value. Admissible calibrators of p*-values to and from p-values and e-values are obtained with nice mathematical forms, revealing the role of p*-values as a bridge between p-values and e-values. The notion of p*-values becomes useful in many situations even if one is only interested in p-values, mid p-values, or e-values. In particular, deterministic tests based on p*-values can be applied to improve some classic methods for p-values and e-values.


title: Global and local theory of skew mean curvature flows

abstract: In this paper, we study the skew mean curvature flow. The results are threefold. First, we prove the global regularity of solutions with initial data which are small perturbations of planes in Sobolev spaces. Second, we prove the modified scattering and the existence of wave operators for small data, which completely determines the set of asymptotic states. Third, we study the Cauchy problem for arbitrary large data.


title: Spin-dependent Tunneling Barriers in CoPc/VSe2 from Many-Body Interactions

abstract: Mixed-dimensional magnetic heterostructures are intriguing, newly available platforms to explore quantum physics and its applications. Using state-of-the-art many-body perturbation theory, we predict the energy level alignment for a self-assembled monolayer of cobalt phthalocyanine (CoPc) molecules on magnetic VSe 2 monolayers. The predicted projected density of states on CoPc agrees with experimental scanning tunneling spectra. Consistent with experiment, we predict a shoulder in the unoccupied region of the spectra that is absent from mean-field calculations. Unlike the nearly spin-degenerate gas phase frontier molecular orbitals, the tunneling barriers at the interface are spin-dependent, a finding of interest for quantum information and spintronics applications. Both the experimentally observed shoulder and the predicted spin-dependent tunneling barriers originate from many-body interactions in the interface-hybridized states. Our results showcase the intricate many-body physics that governs the properties of these mixed-dimensional magnetic heterostructures, and suggests the possibility of manipulating the spin-dependent tunneling barriers through modifications of interface coupling.


title: The item selection problem for user cold-start recommendation

abstract: When a new user just signs up on a website, we usually have no information about him/her, i.e. no interaction with items, no user profile and no social links with other users. Under such circumstances, we still expect our recommender systems could attract the users at the first time so that the users decide to stay on the website and become active users. This problem falls into new user cold-start category and it is crucial to the development and even survival of a company. Existing works on user cold-start recommendation either require additional user efforts, e.g. setting up an interview process, or make use of side information [10] such as user demographics, locations, social relations, etc. However, users may not be willing to take the interview and side information on cold-start users is usually not available. Therefore, we consider a pure cold-start scenario where neither interaction nor side information is available and no user effort is required. Studying this setting is also important for the initialization of other cold-start solutions, such as initializing the first few questions of an interview.


title: Cross-directional Feature Fusion Network for Building Damage Assessment from Satellite Imagery

abstract: Fast and effective responses are required when a natural disaster (e.g., earthquake, hurricane, etc.) strikes. Building damage assessment from satellite imagery is critical before an effective response is conducted. High-resolution satellite images provide rich information with pre- and post-disaster scenes for analysis. However, most existing works simply use pre- and post-disaster images as input without considering their correlations. In this paper, we propose a novel cross-directional fusion strategy to better explore the correlations between pre- and post-disaster images. Moreover, the data augmentation method CutMix is exploited to tackle the challenge of hard classes. The proposed method achieves state-of-the-art performance on a large-scale building damage assessment dataset -- xBD.


title: Bandgap renormalization in monolayer MoS_2 on CsPbBr_3 quantum dot via charge transfer at room temperature

abstract: Many-body effect and strong Coulomb interaction in monolayer transition metal dichalcogenides lead to shrink the intrinsic bandgap, originating from the renormalization of electrical/optical bandgap, exciton binding energy, and spin-orbit splitting. This renormalization phenomenon has been commonly observed at low temperature and requires high photon excitation density. Here, we present the augmented bandgap renormalization in monolayer MoS_2 anchored on CsPbBr_3 perovskite quantum dots at room temperature via charge transfer. The amount of electrons significantly transferred from perovskite gives rise to the large plasma screening in MoS_2. The bandgap in heterostructure is red-shifted by 84 meV with minimal pump fluence, the highest bandgap renormalization in monolayer MoS_2 at room temperature, which saturates with further increase of pump fluence. We further find that the magnitude of bandgap renormalization inversely relates to Thomas-Fermi screening length. This provides plenty of room to explore the bandgap renormalization within existing vast libraries of large bandgap van der Waals heterostructure towards practical devices such as solar cells, photodetectors and light-emitting-diodes.


title: Online Security Assessment of Low-Inertia Power Systems: A Real-Time Frequency Stability Tool for the Australian South-West Interconnected System

abstract: In small/medium-sized isolated power networks with low rotational inertia and high penetration of renewables, generation/load contingency events may cause large frequency excursions, potentially leading to cascading failures and even blackouts. Therefore, it is crucial for system operators to be able to monitor the state of the network in real-time and predict the maximum possible frequency deviations at all times. This paper presents a real-time frequency stability (RTFS) tool developed by the Australian Energy Market Operator (AEMO) and operationalized in the control room for the South West Interconnected System (SWIS) to ensure that the available spinning reserve is sufficient and fast enough to arrest frequency excursions under any conditions, and particularly low-inertia ones. To reduce the computational burden and complexity of the different turbine-governor models, a simple first-order lag function with two adjustable variables has been used for each of the generator. These adjustable parameters, along with other key model parameters such as load damping and inertia, have been calibrated against actual frequency response using high-speed fault recorder data from historical events. As demonstrated in several case studies, the real-time tool has proven to be accurate at predicting the trajectory of system frequency after credible contingencies, thus suggesting that similar implementations could be carried out elsewhere while power systems worldwide progress towards lower inertia.


title: Fractional integration with singularity on Light-cone,I: natural setting

abstract: In this first part of our project, we prove a classical Hardy-Littlewood-Sobolev result for a new family of fractional integral operators whose kernel has singularity appeared on the light cone in R^n+1.


title: On analytic interpolation with non-classical constraints for solving problems in robust control

abstract: In this work we consider robust stabilization of uncertain dynamical systems and show that this can be achieved by solving a non-classically constrained analytic interpolation problem. In particular, this non-classical constraint confines the range of the interpolant, when evaluated on the imaginary axis, to a frequency-dependent set. By considering a sufficient condition for when this interpolation problem has a solution, we derive an approximate solution algorithm that can also be used for controller synthesis. Finally, the theory is illustrated on a numerical example with a plant with uncertain gain, phase, and output delay.


title: Know Where To Drop Your Weights: Towards Faster Uncertainty Estimation

abstract: Estimating epistemic uncertainty of models used in low-latency applications and Out-Of-Distribution samples detection is a challenge due to the computationally demanding nature of uncertainty estimation techniques. Estimating model uncertainty using approximation techniques like Monte Carlo Dropout (MCD), DropConnect (MCDC) requires a large number of forward passes through the network, rendering them inapt for low-latency applications. We propose Select-DC which uses a subset of layers in a neural network to model epistemic uncertainty with MCDC. Through our experiments, we show a significant reduction in the GFLOPS required to model uncertainty, compared to Monte Carlo DropConnect, with marginal trade-off in performance. We perform a suite of experiments on CIFAR 10, CIFAR 100, and SVHN datasets with ResNet and VGG models. We further show how applying DropConnect to various layers in the network with different drop probabilities affects the networks performance and the entropy of the predictive distribution.


title: Electronic structure of the high-mobility two-dimensional antiferromagnetic metal GdTe$_3$

abstract: The new-found two-dimensional antiferromagnetic GdTe$_3$ is attractive owing to its highest carrier mobility among all known layered magnetic materials, as well as its potential application for novel magnetic twistronic and spintronic devices. Here, we have used high-resolution angle-resolved photoemission spectroscopy to investigate its Fermi surface topology and low-lying electronic band structure. The Fermi surface is partially gapped by charge density wave below the transition temperature, the residual part reconstructs making GdTe$_3$ metallic. The high carrier mobility can be attributed to the sharp and nearly linear band dispersions near the Fermi energy. We find that the scattering rate of the linear band near the Fermi energy is almost linear within a wide energy range, indicating that GdTe$_3$ is a non-Fermi liquid metal. Our results in this paper provide a fundamental understanding of this layered Van der Waals antiferromagnetic materials to guide future studies on it.


title: Bridging Classical and Quantum with SDP initialized warm-starts for QAOA

abstract: We study the Quantum Approximate Optimization Algorithm (QAOA) in the context of the Max-Cut problem. Near-term (noisy) quantum devices are only able to (accurately) execute QAOA at low circuit depths while QAOA requires a relatively high circuit-depth in order to "see" the whole graph. We introduce a classical pre-processing step that initializes QAOA with a biased superposition of all possible cuts in the graph, referred to as a warm-start. In particular, our initialization informs QAOA by a solution to a low-rank semidefinite programming relaxation of the Max-Cut problem. Our experimental results show that this variant of QAOA, called QAOA-Warm, is able to outperform standard QAOA on lower circuit depths with less training time (in the optimization stage for QAOA's variational parameters). We provide experimental evidence as well as theoretical intuition on performance of the proposed framework.


title: ByteCover: Cover Song Identification via Multi-Loss Training

abstract: We present in this paper ByteCover, which is a new feature learning method for cover song identification (CSI). ByteCover is built based on the classical ResNet model, and two major improvements are designed to further enhance the capability of the model for CSI. In the first improvement, we introduce the integration of instance normalization (IN) and batch normalization (BN) to build IBN blocks, which are major components of our ResNet-IBN model. With the help of the IBN blocks, our CSI model can learn features that are invariant to the changes of musical attributes such as key, tempo, timbre and genre, while preserving the version information. In the second improvement, we employ the BNNeck method to allow a multi-loss training and encourage our method to jointly optimize a classification loss and a triplet loss, and by this means, the inter-class discrimination and intra-class compactness of cover songs, can be ensured at the same time. A set of experiments demonstrated the effectiveness and efficiency of ByteCover on multiple datasets, and in the Da-TACOS dataset, ByteCover outperformed the best competitive system by 20.9\%.


title: FaceLeaks: Inference Attacks against Transfer Learning Models via Black-box Queries

abstract: Transfer learning is a useful machine learning framework that allows one to build task-specific models (student models) without significantly incurring training costs using a single powerful model (teacher model) pre-trained with a large amount of data. The teacher model may contain private data, or interact with private inputs. We investigate if one can leak or infer such private information without interacting with the teacher model directly. We describe such inference attacks in the context of face recognition, an application of transfer learning that is highly sensitive to personal privacy. Under black-box and realistic settings, we show that existing inference techniques are ineffective, as interacting with individual training instances through the student models does not reveal information about the teacher. We then propose novel strategies to infer from aggregate-level information. Consequently, membership inference attacks on the teacher model are shown to be possible, even when the adversary has access only to the student models. We further demonstrate that sensitive attributes can be inferred, even in the case where the adversary has limited auxiliary information. Finally, defensive strategies are discussed and evaluated. Our extensive study indicates that information leakage is a real privacy threat to the transfer learning framework widely used in real-life situations.


title: Existential decidability for addition and divisibility in holomorphy subrings of global fields

abstract: We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow poles at a cofinite set of places, and undecidability results when at a finite set of places.


title: Spatio-Temporal Processing for Automatic Vehicle Detection in Wide-Area Aerial Video

abstract: Vehicle detection in aerial videos often requires post-processing to eliminate false detections. This paper presents a spatio-temporal processing scheme to improve automatic vehicle detection performance by replacing the thresholding step of existing detection algorithms with multi-neighborhood hysteresis thresholding for foreground pixel classification. The proposed scheme also performs spatial post-processing, which includes morphological opening and closing to shape and prune the detected objects, and temporal post-processing to further reduce false detections. We evaluate the performance of the proposed spatial processing on two local aerial video datasets and one parking vehicle dataset, and the performance of the proposed spatio-temporal processing scheme on five local aerial video datasets and one public dataset. Experimental evaluation shows that the proposed schemes improve vehicle detection performance for each of the nine algorithms when evaluated on seven datasets. Overall, the use of the proposed spatio-temporal processing scheme improves average F-score to above 0.8 and achieves an average reduction of 83.8% in false positives.


title: Sequential knockoffs for continuous and categorical predictors: with application to a large Psoriatic Arthritis clinical trial pool

abstract: Knockoffs provide a general framework for controlling the false discovery rate when performing variable selection. Much of the Knockoffs literature focuses on theoretical challenges and we recognize a need for bringing some of the current ideas into practice. In this paper we propose a sequential algorithm for generating knockoffs when underlying data consists of both continuous and categorical (factor) variables. Further, we present a heuristic multiple knockoffs approach that offers a practical assessment of how robust the knockoff selection process is for a given data set. We conduct extensive simulations to validate performance of the proposed methodology. Finally, we demonstrate the utility of the methods on a large clinical data pool of more than $2,000$ patients with psoriatic arthritis evaluated in 4 clinical trials with an IL-17A inhibitor, secukinumab (Cosentyx), where we determine prognostic factors of a well established clinical outcome. The analyses presented in this paper could provide a wide range of applications to commonly encountered data sets in medical practice and other fields where variable selection is of particular interest.


title: EdgeBench: A Workflow-based Benchmark for Edge Computing

abstract: Edge computing has been developed to utilize multiple tiers of resources for privacy, cost and Quality of Service (QoS) reasons. Edge workloads have the characteristics of data-driven and latency-sensitive. Because of this, edge systems have developed to be both heterogeneous and distributed. The unique characteristics of edge workloads and edge systems have motivated EdgeBench, a workflow-based benchmark aims to provide the ability to explore the full design space of edge workloads and edge systems. EdgeBench is both customizable and representative. It allows users to customize the workflow logic of edge workloads, the data storage backends, and the distribution of the individual workflow stages to different computing tiers. To illustrate the usability of EdgeBench, we also implements two representative edge workflows, a video analytics workflow and an IoT hub workflow that represents two distinct but common edge workloads. Both workflows are evaluated using the workflow-level and function-level metrics reported by EdgeBench to illustrate both the performance bottlenecks of the edge systems and the edge workloads.


title: Ghosts in the Wall

abstract: We consider the possibility of an axion-like particle (ALP) that is a ghost, with wrong-sign kinetic and mass terms. Such an ALP can arise as the partner to an ordinary particle in theories with higher-derivative quadratic terms. We compute the photon regeneration probability in light-shining-through-wall experiments and show that the presence of such a ghostly ALP can lead, in principle, to discernible effects.


title: Volctrans Parallel Corpus Filtering System for WMT 2020

abstract: In this paper, we describe our submissions to the WMT20 shared task on parallel corpus filtering and alignment for low-resource conditions. The task requires the participants to align potential parallel sentence pairs out of the given document pairs, and score them so that low-quality pairs can be filtered. Our system, Volctrans, is made of two modules, i.e., a mining module and a scoring module. Based on the word alignment model, the mining module adopts an iterative mining strategy to extract latent parallel sentences. In the scoring module, an XLM-based scorer provides scores, followed by reranking mechanisms and ensemble. Our submissions outperform the baseline by 3.x/2.x and 2.x/2.x for km-en and ps-en on From Scratch/Fine-Tune conditions, which is the highest among all submissions.


title: A characterization of alternating links in thickened surfaces

abstract: We use an extension of Gordon-Litherland pairing to thickened surfaces to give a topological characterization of alternating links in thickened surfaces. If $\Sigma$ is a closed oriented surface and $F$ is a compact unoriented surface in $\Sigma \times I$, then the Gordon-Litherland pairing defines a symmetric bilinear pairing on the first homology of $F$. A compact surface in $\Sigma \times I$ is called definite if its Gordon-Litherland pairing is a definite form. We prove that a non-split link $L$ in a thickened surface is alternating if and only if it bounds two definite surfaces of opposite sign.


title: Carrier Multiplication via Photocurrent Measurements in Dual-Gated MoTe_2

abstract: Although van der Waals layered transition metal dichalcogenides from transient absorption spectroscopy have successfully demonstrated an ideal carrier multiplication (CM) performance with an onset of nearly 2Eg,interpretation of the CM effect from the optical approach remains unresolved owing to the complexity of many-body electron-hole pairs. We demonstrate the CM effect through simple photocurrent measurements by fabricating the dual-gate P-N junction of a MoTe2 film on a transparent substrate. Electrons and holes were efficiently extracted by eliminating the Schottky barriers in the metal contact and minimizing multiple reflections. The photocurrent was elevated proportionately to the excitation energy. The boosted quantum efficiency confirms the multiple electron-hole pair generation of >2Eg, consistent with CM results from an optical approach, pushing the solar cell efficiency beyond the Shockley-Queisser limit.


title: Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs

abstract: Proving only over source code that programs do not leak sensitive data leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the compiler. Furthermore, software does not always have the luxury of limiting itself to single-threaded computation with resources statically dedicated to each user to ensure the confidentiality of their data. This results in mixed-sensitivity concurrent programs, which might reuse memory shared between their threads to hold data of different sensitivity levels at different times; for such programs, a compiler must preserve the value-dependent coordination of such mixed-sensitivity reuse despite the impact of concurrency. Here we demonstrate, using Isabelle/HOL, that it is feasible to verify that a compiler preserves noninterference, the strictest kind of confidentiality property, for mixed-sensitivity concurrent programs. First, we present notions of refinement that preserve a concurrent value-dependent notion of noninterference that we have designed to support such programs. As proving noninterference-preserving refinement can be considerably more complex than the standard refinements typically used to verify semantics-preserving compilation, our notions include a decomposition principle that separates the semantics-preservation from security-preservation concerns. Second, we demonstrate that these refinement notions are applicable to verified secure compilation, by exercising them on a single-pass compiler for mixed-sensitivity concurrent programs that synchronise using mutex locks, from a generic imperative language to a generic RISC-style assembly language. Finally, we execute our compiler on a nontrivial mixed-sensitivity concurrent program modelling a real-world use case, thus preserving its source-level noninterference properties down to an assembly-level model automatically. (Full abstract in paper)


title: Regular, Unit-regular, and Idempotent elements of semigroups of transformations that preserve a partition

abstract: Let $X$ be a set and $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P}$ of $X$, we consider semigroups $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X| (\forall X_i\in \mathcal{P}) (\exists X_j \in \mathcal{P})\;X_i f \subseteq X_j\}$, $\Sigma(X, \mathcal{P}) = \{f\in T(X, \mathcal{P})|(\forall X_i \in \mathcal{P})\; Xf \cap X_i \neq \emptyset\}$, and $\Gamma(X, \mathcal{P}) = \{f\in \mathcal{T}_X|(\forall X_i\in \mathcal{P})(\exists X_j\in \mathcal{P})\; X_i f = X_j\}$. We characterize unit-regular elements of both $T(X, \mathcal{P})$ and $\Sigma(X, \mathcal{P})$ for finite $X$. We discuss set inclusion between $\Gamma(X, \mathcal{P})$ and certain semigroups of transformations preserving $\mathcal{P}$. We characterize and count regular elements and idempotents of $\Gamma(X, \mathcal{P})$. For finite $X$, we prove that every regular element of $\Gamma(X, \mathcal{P})$ is unit-regular and also calculate the size of $\Gamma(X, \mathcal{P})$.


title: Rokhlin Dimension and Equivariant Bundles

abstract: Given an action of a compact group on a complex vector bundle, there is an induced action of the group on the associated Cuntz-Pimsner algebra. We determine conditions under which this action has finite Rokhlin dimension.


title: Two-Parametric Nyquist Pulses with Better Performance Based on Inverse Hyperbolic Functions

abstract: In this article, three new inter-symbol interference (ISI)-free pulses with enhanced performance compared to the state-of-the-art are proposed and studied in terms of frequency and time domain characteristics. They are based on inverse hyperbolic functions and on the concept of inner and outer functions, which was first introduced by the authors. New pulses are two-parametric, i.e., their design depends only on the roll-off factor and the timing jitter parameter, and they outperform most of the well-known pulses reported in the literature, since they present lower error probability, smaller maximum distortion and wider eye-diagram.