title: Maximum bound principle preserving integrating factor Runge-Kutta methods for semilinear parabolic equations

abstract: A large class of semilinear parabolic equations satisfy the maximum bound principle (MBP) in the sense that the time-dependent solution preserves for any time a uniform pointwise bound imposed by its initial and boundary conditions. Investigation on numerical schemes of these equations with preservation of the MBP has attracted increasingly attentions in recent years, especially for the temporal discretizations. In this paper, we study high-order MBP-preserving time integration schemes by means of the integrating factor Runge-Kutta (IFRK) method. Beginning with the space-discrete system of semilinear parabolic equations, we present the IFRK method in general form and derive the sufficient conditions for the method to preserve the MBP. In particular, we show that the classic four-stage, fourth-order IFRK scheme is MBP-preserving for some typical semilinear systems although not strong stability preserving, which can be instantly applied to the Allen-Cahn type of equations. In addition, error estimates for these numerical schemes are proved theoretically and verified numerically, as well as their efficiency by simulations of long-time evolutional behavior.


title: MmWaves Cellular V2X for Cooperative Diversity Relay Fast Fading Channels

abstract: In this work, we present a framework analysis of millimeter waves (mmWaves) vehicular communications systems. Communications between vehicles take place through a cooperative relay which acts as an intermediary base station (BS). The relay is equipped with multiple transmit and receive antennas and it employs decode-and-forward (DF) to process the signal. Also, the relay applies maximal ratio combining (MRC), and maximal ratio transmission (MRT), respectively, to receive and forward the signal. As the vehicles' speeds are relatively high, the channel experiences a fast fading and this time variation is modeled following the Jakes' autocorrelation model. We also assume narrowband fading channel. Closed-form expressions of the reliability metrics such as the outage probability, the probability of error and the channel capacity are derived. Capitalizing on these performances, we derive the low and high power regimes for the capacity, and the high signal-to-interference-plus-noise-ratio (SINR) asymptotes for the outage and error probability to get full insights into the system gains such as the diversity and coding gains.


title: Approximation Theory Based Methods for RKHS Bandits

abstract: The RKHS bandit problem (also called kernelized multi-armed bandit problem) is an online optimization problem of non-linear functions with noisy feedback. Although the problem has been extensively studied, there are unsatisfactory results for some problems compared to the well-studied linear bandit case. Specifically, there is no general algorithm for the adversarial RKHS bandit problem. In addition, high computational complexity of existing algorithms hinders practical application. We address these issues by considering a novel amalgamation of approximation theory and the misspecified linear bandit problem. Using an approximation method, we propose efficient algorithms for the stochastic RKHS bandit problem and the first general algorithm for the adversarial RKHS bandit problem. Furthermore, we empirically show that one of our proposed methods has comparable cumulative regret to IGP-UCB and its running time is much shorter.


title: Trustworthy Digital Twins in the Industrial Internet of Things with Blockchain

abstract: Industrial processes rely on sensory data for critical decision-making processes. Extracting actionable insights from the collected data calls for an infrastructure that can ensure the trustworthiness of data. To this end, we envision a blockchain-based framework for the Industrial Internet of Things (IIoT) to address the issues of data management and security. Once the data collected from trustworthy sources are recorded in the blockchain, product lifecycle events can be fed into data-driven systems for process monitoring, diagnostics, and optimized control. In this regard, we leverage Digital Twins (DTs) that can draw intelligent conclusions from data by identifying the faults and recommending precautionary measures ahead of critical events. Furthermore, we discuss the integration of DTs and blockchain to target key challenges of disparate data repositories, untrustworthy data dissemination, and fault diagnosis. Finally, we identify outstanding challenges faced by the IIoT and future research directions while leveraging blockchain and DTs.


title: A Feasible Level Proximal Point Method for Nonconvex Sparse Constrained Optimization

abstract: Nonconvex sparse models have received significant attention in high-dimensional machine learning. In this paper, we study a new model consisting of a general convex or nonconvex objectives and a variety of continuous nonconvex sparsity-inducing constraints. For this constrained model, we propose a novel proximal point algorithm that solves a sequence of convex subproblems with gradually relaxed constraint levels. Each subproblem, having a proximal point objective and a convex surrogate constraint, can be efficiently solved based on a fast routine for projection onto the surrogate constraint. We establish the asymptotic convergence of the proposed algorithm to the Karush-Kuhn-Tucker (KKT) solutions. We also establish new convergence complexities to achieve an approximate KKT solution when the objective can be smooth/nonsmooth, deterministic/stochastic and convex/nonconvex with complexity that is on a par with gradient descent for unconstrained optimization problems in respective cases. To the best of our knowledge, this is the first study of the first-order methods with complexity guarantee for nonconvex sparse-constrained problems. We perform numerical experiments to demonstrate the effectiveness of our new model and efficiency of the proposed algorithm for large scale problems.


title: Is PSR J0855$-$4644 responsible for the 1.4 TeV electron spectral bump hinted by DAMPE?

abstract: DAMPE observation on the cosmic ray electron spectrum hints a narrow excess at $\sim$ 1.4 TeV. Although the excess can be ascribed to dark matter particles, pulsars and pulsar wind nebulae are believed to be a more natural astrophysical origin: electrons injected from nearby pulsars at their early ages can form a bump-like feature in the spectrum due to radiative energy losses. In this paper, with a survey of nearby pulsars, we find 4 pulsars that may have notable contributions to $\sim$ 1.4 TeV cosmic ray electrons. Among them, PSR J0855$-$4644 has a spin down luminosity more than 50 times higher than others and presumably dominates the electron fluxes from them. X-ray observations on the inner compact part (which may represent a tunnel for the transport of electrons from the pulsar) of PWN G267.0$-$01.0 are then used to constrain the spectral index of high energy electrons injected by the pulsar. We show that high-energy electrons released by PSR J0855$-$4644 could indeed reproduce the 1.4 TeV spectral feature hinted by the DAMPE with reasonable parameters.


title: DualNet: Locate Then Detect Effective Payload with Deep Attention Network

abstract: Network intrusion detection (NID) is an essential defense strategy that is used to discover the trace of suspicious user behaviour in large-scale cyberspace, and machine learning (ML), due to its capability of automation and intelligence, has been gradually adopted as a mainstream hunting method in recent years. However, traditional ML based network intrusion detection systems (NIDSs) are not effective to recognize unknown threats and their high detection rate often comes with the cost of high false alarms, which leads to the problem of alarm fatigue. To address the above problems, in this paper, we propose a novel neural network based detection system, DualNet, which is constructed with a general feature extraction stage and a crucial feature learning stage. DualNet can rapidly reuse the spatial-temporal features in accordance with their importance to facilitate the entire learning process and simultaneously mitigate several optimization problems occurred in deep learning (DL). We evaluate the DualNet on two benchmark cyber attack datasets, NSL-KDD and UNSW-NB15. Our experiment shows that DualNet outperforms classical ML based NIDSs and is more effective than existing DL methods for NID in terms of accuracy, detection rate and false alarm rate.


title: Growth of nonsymmetric operads

abstract: The paper concerns the Gelfand-Kirillov dimension and the generating series of nonsymmetric operads. An analogue of Bergman's gap theorem is proved, namely, no finitely generated locally finite nonsymmetric operad has Gelfand-Kirillov dimension strictly between $1$ and $2$. For every $r\in \{0\}\cup \{1\}\cup [2,\infty)$ or $r=\infty$, we construct a single-element generated nonsymmetric operad with Gelfand-Kirillov dimension $r$. We also provide counterexamples to two expectations of Khoroshkin and Piontkovski about the generating series of operads.


title: A Cross-Verification Approach for Protecting World Leaders from Fake and Tampered Audio

abstract: This paper tackles the problem of verifying the authenticity of speech recordings from world leaders. Whereas previous work on detecting deep fake or tampered audio focus on scrutinizing an audio recording in isolation, we instead reframe the problem and focus on cross-verifying a questionable recording against trusted references. We present a method for cross-verifying a speech recording against a reference that consists of two steps: aligning the two recordings and then classifying each query frame as matching or non-matching. We propose a subsequence alignment method based on the Needleman-Wunsch algorithm and show that it significantly outperforms dynamic time warping in handling common tampering operations. We also explore several binary classification models based on LSTM and Transformer architectures to verify content at the frame level. Through extensive experiments on tampered speech recordings of Donald Trump, we show that our system can reliably detect audio tampering operations of different types and durations. Our best model achieves 99.7% accuracy for the alignment task at an error tolerance of 50 ms and a 0.43% equal error rate in classifying audio frames as matching or non-matching.


title: KINNEWS and KIRNEWS: Benchmarking Cross-Lingual Text Classification for Kinyarwanda and Kirundi

abstract: Recent progress in text classification has been focused on high-resource languages such as English and Chinese. For low-resource languages, amongst them most African languages, the lack of well-annotated data and effective preprocessing, is hindering the progress and the transfer of successful methods. In this paper, we introduce two news datasets (KINNEWS and KIRNEWS) for multi-class classification of news articles in Kinyarwanda and Kirundi, two low-resource African languages. The two languages are mutually intelligible, but while Kinyarwanda has been studied in Natural Language Processing (NLP) to some extent, this work constitutes the first study on Kirundi. Along with the datasets, we provide statistics, guidelines for preprocessing, and monolingual and cross-lingual baseline models. Our experiments show that training embeddings on the relatively higher-resourced Kinyarwanda yields successful cross-lingual transfer to Kirundi. In addition, the design of the created datasets allows for a wider use in NLP beyond text classification in future studies, such as representation learning, cross-lingual learning with more distant languages, or as base for new annotations for tasks such as parsing, POS tagging, and NER. The datasets, stopwords, and pre-trained embeddings are publicly available at https://github.com/Andrews2017/KINNEWS-and-KIRNEWS-Corpus .


title: Estimation of Groundwater Storage Variations in Indus River Basin using GRACE Data

abstract: The depletion and variations of groundwater storage~(GWS) are of critical importance for sustainable groundwater management. In this work, we use Gravity Recovery and Climate Experiment (GRACE) to estimate variations in the terrestrial water storage~(TWS) and use it in conjunction with the Global Land Data Assimilation System~(GLDAS) data to extract GWS variations over time for Indus river basin~(IRB). We present a data processing framework that processes and combines these data-sets to provide an estimate of GWS changes. We also present the design of a band-limited optimally concentrated window function for spatial localization of the data in the region of interest. We construct the so-called optimal window for the IRB region and use it in our processing framework to analyze the GWS variations from 2005 to 2015. Our analysis reveals the expected seasonal variations in GWS and signifies groundwater depletion on average over the time period. Our proposed processing framework can be used to analyze spatio-temporal variations in TWS and GWS for any region of interest.


title: Delving into the Cyclic Mechanism in Semi-supervised Video Object Segmentation

abstract: In this paper, we address several inadequacies of current video object segmentation pipelines. Firstly, a cyclic mechanism is incorporated to the standard semi-supervised process to produce more robust representations. By relying on the accurate reference mask in the starting frame, we show that the error propagation problem can be mitigated. Next, we introduce a simple gradient correction module, which extends the offline pipeline to an online method while maintaining the efficiency of the former. Finally we develop cycle effective receptive field (cycle-ERF) based on gradient correction to provide a new perspective into analyzing object-specific regions of interests. We conduct comprehensive experiments on challenging benchmarks of DAVIS17 and Youtube-VOS, demonstrating that the cyclic mechanism is beneficial to segmentation quality.


title: Sparse identification of nonlinear dynamics with low-dimensionalized flow representations

abstract: We perform a sparse identification of nonlinear dynamics (SINDy) for low-dimensionalized complex flow phenomena. We first apply the SINDy with two regression methods, the thresholded least square algorithm (TLSA) and the adaptive Lasso (Alasso) which show reasonable ability with a wide range of sparsity constant in our preliminary tests, to a two-dimensional single cylinder wake at $Re_D=100$, its transient process, and a wake of two-parallel cylinders, as examples of high-dimensional fluid data. To handle these high dimensional data with SINDy whose library matrix is suitable for low-dimensional variable combinations, a convolutional neural network-based autoencoder (CNN-AE) is utilized. The CNN-AE is employed to map a high-dimensional dynamics into a low-dimensional latent space. The SINDy then seeks a governing equation of the mapped low-dimensional latent vector. Temporal evolution of high-dimensional dynamics can be provided by combining the predicted latent vector by SINDy with the CNN decoder which can remap the low-dimensional latent vector to the original dimension. The SINDy can provide a stable solution as the governing equation of the latent dynamics and the CNN-SINDy based modeling can reproduce high-dimensional flow fields successfully, although more terms are required to represent the transient flow and the two-parallel cylinder wake than the periodic shedding. A nine-equation turbulent shear flow model is finally considered to examine the applicability of SINDy to turbulence, although without using CNN-AE. The present results suggest that the proposed scheme with an appropriate parameter choice enables us to analyze high-dimensional nonlinear dynamics with interpretable low-dimensional manifolds.


title: LowCon: A design-based subsampling approach in a misspecified linear modeL

abstract: We consider a measurement constrained supervised learning problem, that is, (1) full sample of the predictors are given; (2) the response observations are unavailable and expensive to measure. Thus, it is ideal to select a subsample of predictor observations, measure the corresponding responses, and then fit the supervised learning model on the subsample of the predictors and responses. However, model fitting is a trial and error process, and a postulated model for the data could be misspecified. Our empirical studies demonstrate that most of the existing subsampling methods have unsatisfactory performances when the models are misspecified. In this paper, we develop a novel subsampling method, called "LowCon", which outperforms the competing methods when the working linear model is misspecified. Our method uses orthogonal Latin hypercube designs to achieve a robust estimation. We show that the proposed design-based estimator approximately minimizes the so-called "worst-case" bias with respect to many possible misspecification terms. Both the simulated and real-data analyses demonstrate the proposed estimator is more robust than several subsample least squares estimators obtained by state-of-the-art subsampling methods.


title: Continuous phase transition between Neel and valence bond solid phases in a J-Q-like spin ladder system

abstract: We investigate a quantum phase transition between a Neel phase and a valence bond solid (VBS) phase, in each of which a different Z2 symmetry is broken, in a spin-1/2 two-leg XXZ ladder with a four-spin interaction. The model can be viewed as a one-dimensional variant of the celebrated J-Q model on a square lattice. By means of variational uniform matrix product state calculations and an effective field theory, we determine the phase diagram of the model, and present evidences that the Neel-VBS transition is continuous and belongs to the Gaussian universality class with the central charge c=1. In particular, the critical exponents $\beta, \eta,$ and, $\nu$ are found to satisfy the constraints expected for a Gaussian transition within numerical accuracy. These exponents do not detectably change along the phase boundary while they are in general allowed to do so for the Gaussian class.


title: Don't shoot butterfly with rifles: Multi-channel Continuous Speech Separation with Early Exit Transformer

abstract: With its strong modeling capacity that comes from a multi-head and multi-layer structure, Transformer is a very powerful model for learning a sequential representation and has been successfully applied to speech separation recently. However, multi-channel speech separation sometimes does not necessarily need such a heavy structure for all time frames especially when the cross-talker challenge happens only occasionally. For example, in conversation scenarios, most regions contain only a single active speaker, where the separation task downgrades to a single speaker enhancement problem. It turns out that using a very deep network structure for dealing with signals with a low overlap ratio not only negatively affects the inference efficiency but also hurts the separation performance. To deal with this problem, we propose an early exit mechanism, which enables the Transformer model to handle different cases with adaptive depth. Experimental results indicate that not only does the early exit mechanism accelerate the inference, but it also improves the accuracy.


title: Adversarial Crowdsourcing Through Robust Rank-One Matrix Completion

abstract: We consider the problem of reconstructing a rank-one matrix from a revealed subset of its entries when some of the revealed entries are corrupted with perturbations that are unknown and can be arbitrarily large. It is not known which revealed entries are corrupted. We propose a new algorithm combining alternating minimization with extreme-value filtering and provide sufficient and necessary conditions to recover the original rank-one matrix. In particular, we show that our proposed algorithm is optimal when the set of revealed entries is given by an Erd\H{o}s-R\'enyi random graph. These results are then applied to the problem of classification from crowdsourced data under the assumption that while the majority of the workers are governed by the standard single-coin David-Skene model (i.e., they output the correct answer with a certain probability), some of the workers can deviate arbitrarily from this model. In particular, the "adversarial" workers could even make decisions designed to make the algorithm output an incorrect answer. Extensive experimental results show our algorithm for this problem, based on rank-one matrix completion with perturbations, outperforms all other state-of-the-art methods in such an adversarial scenario.


title: Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time

abstract: In the quest for a logic capturing PTime the next natural classes of structures to consider are those with bounded color class size. We present a canonization procedure for graphs with dihedral color classes of bounded size in the logic of Choiceless Polynomial Time (CPT), which then captures PTime on this class of structures. This is the first result of this form for non-abelian color classes. The first step proposes a normal form which comprises a "rigid assemblage". This roughly means that the local automorphism groups form 2-injective 3-factor subdirect products. Structures with color classes of bounded size can be reduced canonization preservingly to normal form in CPT. In the second step, we show that for graphs in normal form with dihedral color classes of bounded size, the canonization problem can be solved in CPT. We also show the same statement for general ternary structures in normal form if the dihedral groups are defined over odd domains.


title: Learning Similarity between Movie Characters and Its Potential Implications on Understanding Human Experiences

abstract: While many different aspects of human experiences have been studied by the NLP community, none has captured its full richness. We propose a new task to capture this richness based on an unlikely setting: movie characters. We sought to capture theme-level similarities between movie characters that were community-curated into 20,000 themes. By introducing a two-step approach that balances performance and efficiency, we managed to achieve 9-27\% improvement over recent paragraph-embedding based methods. Finally, we demonstrate how the thematic information learnt from movie characters can potentially be used to understand themes in the experience of people, as indicated on Reddit posts.


title: Towards Fair Knowledge Transfer for Imbalanced Domain Adaptation

abstract: Domain adaptation (DA) becomes an up-and-coming technique to address the insufficient or no annotation issue by exploiting external source knowledge. Existing DA algorithms mainly focus on practical knowledge transfer through domain alignment. Unfortunately, they ignore the fairness issue when the auxiliary source is extremely imbalanced across different categories, which results in severe under-presented knowledge adaptation of minority source set. To this end, we propose a Towards Fair Knowledge Transfer (TFKT) framework to handle the fairness challenge in imbalanced cross-domain learning. Specifically, a novel cross-domain mixup generation is exploited to augment the minority source set with target information to enhance fairness. Moreover, dual distinct classifiers and cross-domain prototype alignment are developed to seek a more robust classifier boundary and mitigate the domain shift. Such three strategies are formulated into a unified framework to address the fairness issue and domain shift challenge. Extensive experiments over two popular benchmarks have verified the effectiveness of our proposed model by comparing to existing state-of-the-art DA models, and especially our model significantly improves over 20% on two benchmarks in terms of the overall accuracy.


title: Empirical Likelihood Inference for Area under the ROC Curve using Ranked Set Samples

abstract: The area under a receiver operating characteristic curve (AUC) is a useful tool to assess the performance of continuous-scale diagnostic tests on binary classification. In this article, we propose an empirical likelihood (EL) method to construct confidence intervals for the AUC from data collected by ranked set sampling (RSS). The proposed EL-based method enables inferences without assumptions required in existing nonparametric methods and takes advantage of the sampling efficiency of RSS. We show that for both balanced and unbalanced RSS, the EL-based point estimate is the Mann-Whitney statistic, and confidence intervals can be obtained from a scaled chi-square distribution. Simulation studies and two case studies on diabetes and chronic kidney disease data suggest that using the proposed method and RSS enables more efficient inference on the AUC.


title: On Evaluating Neural Network Backdoor Defenses

abstract: Deep neural networks (DNNs) demonstrate superior performance in various fields, including scrutiny and security. However, recent studies have shown that DNNs are vulnerable to backdoor attacks. Several defenses were proposed in the past to defend DNNs against such backdoor attacks. In this work, we conduct a critical analysis and identify common pitfalls in these existing defenses, prepare a comprehensive database of backdoor attacks, conduct a side-by-side evaluation of existing defenses against this database. Finally, we layout some general guidelines to help researchers develop more robust defenses in the future and avoid common mistakes from the past.


abstract: In this paper, we give the definition of Maslov-type index of the discrete Hamiltonian system, and obtain the relation of Morse index and Maslov-type index of the discrete Hamiltonian system which is a generalization of case $\omega=1$ in \cite{RoS1}, \cite{RoS2} and \cite{Maz1} to case $\omega \in {\bf U}$ via direct method which is different from that of \cite{RoS1}, \cite{RoS2} and \cite{Maz1}. Moreover well-posedness of the splitting numbers $S_{\omega}$ of the discrete Hamiltonian system is proven, thus index iteration theories in \cite{Bot1} and \cite{Lon4} are also valid for the discrete Hamiltonian system case.


title: Generating Long Financial Report using Conditional Variational Autoencoders with Knowledge Distillation

abstract: Automatically generating financial report from a piece of news is quite a challenging task. Apparently, the difficulty of this task lies in the lack of sufficient background knowledge to effectively generate long financial report. To address this issue, this paper proposes the conditional variational autoencoders (CVAE) based approach which distills external knowledge from a corpus of news-report data. Particularly, we choose Bi-GRU as the encoder and decoder component of CVAE, and learn the latent variable distribution from input news. A higher level latent variable distribution is learnt from a corpus set of news-report data, respectively extr acted for each input news, to provide background knowledge to previously learnt latent variable distribution. Then, a teacher-student network is employed to distill knowledge to refine theoutput of the decoder component. To evaluate the model performance of the proposed approach, extensive experiments are preformed on a public dataset and two widely adopted evaluation criteria, i.e., BLEU and ROUGE, are chosen in the experiment. The promising experimental results demonstrate that the proposed approach is superior to the rest compared methods.


title: Meshfree simulation of multiphase flows with SPH family methods

abstract: With meshfree and fully Lagrangian features of particle methods, smoothed particle hydrodynamics (SPH) is suitable to achieve high-accurate simulations of multiphase flows with large interfacial deformations, discontinuities, and multi-physics. In this review, the basic concept of SPH is first briefly introduced. Then, various implementations of SPH in regard to multiphase flow simulations are summarized and discussed. Some problems associated with SPH simulations of multiphase flows are suggested as requiring attention.


title: Towards Robust Neural Networks via Orthogonal Diversity

abstract: Deep Neural Networks (DNNs) are vulnerable to invisible perturbations on the images generated by adversarial attacks, which raises researches on the adversarial robustness of DNNs. A series of methods represented by the adversarial training and its variants have proven as one of the most effective techniques in enhancing the DNN robustness. Generally, adversarial training focuses on enriching the training data by involving perturbed data. Such data augmentation effect of the involved perturbed data in adversarial training does not contribute to the robustness of DNN itself and usually suffers from clean accuracy drop. Towards the robustness of DNN itself, we in this paper propose a novel defense that aims at augmenting the model in order to learn features that are adaptive to diverse inputs, including adversarial examples. More specifically, to augment the model, multiple paths are embedded into the network, and an orthogonality constraint is imposed on these paths to guarantee the diversity among them. A margin-maximization loss is then designed to further boost such DIversity via Orthogonality (DIO). In this way, the proposed DIO augments the model and enhances the robustness of DNN itself as the learned features can be corrected by these mutually-orthogonal paths. Extensive empirical results on various data sets, structures and attacks verify the stronger adversarial robustness of the proposed DIO utilizing model augmentation. Besides, DIO can also be flexibly combined with different data augmentation techniques (e.g., TRADES and DDPM), further promoting robustness gains.


title: Escape saddle points faster on manifolds via perturbed Riemannian stochastic recursive gradient

abstract: In this paper, we propose a variant of Riemannian stochastic recursive gradient method that can achieve second-order convergence guarantee and escape saddle points using simple perturbation. The idea is to perturb the iterates when gradient is small and carry out stochastic recursive gradient updates over tangent space. This avoids the complication of exploiting Riemannian geometry. We show that under finite-sum setting, our algorithm requires $\widetilde{\mathcal{O}}\big( \frac{ \sqrt{n}}{\epsilon^2} + \frac{\sqrt{n} }{\delta^4} + \frac{n}{\delta^3}\big)$ stochastic gradient queries to find a $(\epsilon, \delta)$-second-order critical point. This strictly improves the complexity of perturbed Riemannian gradient descent and is superior to perturbed Riemannian accelerated gradient descent under large-sample settings. We also provide a complexity of $\widetilde{\mathcal{O}} \big( \frac{1}{\epsilon^3} + \frac{1}{\delta^3 \epsilon^2} + \frac{1}{\delta^4 \epsilon} \big)$ for online optimization, which is novel on Riemannian manifold in terms of second-order convergence using only first-order information.


title: Local field-interaction approach to the Dirac monopole

abstract: We introduce the local field interaction approach to Dirac magnetic monopoles. Our analysis reveals two physically different types of a monopole. The first type is free of singularity, and the field angular momentum plays an essential role in the interaction. The second type is described as an endpoint of an invisible semi-infinite flux tube (a Dirac string). Notably, a different phase factor $(-1)^n$ exists between the two types where $n$ is the quantum number of the field angular momentum. Our study provides a realistic description of the two types of monopoles. Various aspects of these monopoles are discussed, including the Maxwell dual of the Dirac string, exchange symmetry, and an analogy to the Coriolis interaction.


title: Weak KAM theory for action minimizing random walks

abstract: We introduce a class of controlled random walks on a grid in $\mathbb{T}^d$ and investigate global properties of action minimizing random walks for a certain action functional together with Hamilton-Jacobi equations on the grid. This yields an analogue of weak KAM theory, which recovers a part of original weak KAM theory through the hyperbolic scaling limit.


title: Shadows of the accelerating black holes

abstract: Due to the acceleration of the black hole, the circular orbits of the photons will deviate from the equatorial plane and the property of the black hole shadow will change. We find that the latitude of the circular orbit increases with the increasing acceleration and then show that the observer's inclination angles which make the shadow radius and the shadow distortion maximum increase with the increasing acceleration for the accelerating Kerr black hole.


title: Performance Evaluation of ParalleX Execution model on Arm-based Platforms

abstract: The HPC community shows a keen interest in creating diversity in the CPU ecosystem. The advent of Arm-based processors provides an alternative to the existing HPC ecosystem, which is primarily dominated by x86 processors. In this paper, we port an Asynchronous Many-Task runtime system based on the ParalleX model, i.e., High Performance ParalleX (HPX), and evaluate it on the Arm ecosystem with a suite of benchmarks. We wrote these benchmarks with an emphasis on vectorization and distributed scaling. We present the performance results on a variety of Arm processors and compare it with their x86 brethren from Intel. We show that the results obtained are equally good or better than their x86 brethren. Finally, we also discuss a few drawbacks of the present Arm ecosystem.


title: Toward Expressive Singing Voice Correction: On Perceptual Validity of Evaluation Metrics for Vocal Melody Extraction

abstract: Singing voice correction (SVC) is an appealing application for amateur singers. Commercial products automate SVC by snapping pitch contours to equal-tempered scales, which could lead to deadpan modifications. Together with the neglect of rhythmic errors, extensive manual corrections are still necessary. In this paper, we present a streamlined system to automate expressive SVC for both pitch and rhythmic errors. Particularly, we extend a previous work by integrating advanced techniques for singing voice separation (SVS) and vocal melody extraction. SVC is achieved by temporally aligning the source-target pair, followed by replacing pitch and rhythm of the source with those of the target. We evaluate the framework by a comparative study for melody extraction which involves both subjective and objective evaluations, whereby we investigate perceptual validity of the standard metrics through the lens of SVC. The results suggest that the high pitch accuracy obtained by the metrics does not signify good perceptual scores.


title: Quantum Superposition Inspired Spiking Neural Network

abstract: Despite advances in artificial intelligence models, neural networks still cannot achieve human performance, partly due to differences in how information is encoded and processed compared to human brain. Information in an artificial neural network (ANN) is represented using a statistical method and processed as a fitting function, enabling handling of structural patterns in image, text, and speech processing. However, substantial changes to the statistical characteristics of the data, for example, reversing the background of an image, dramatically reduce the performance. Here, we propose a quantum superposition spiking neural network (QS-SNN) inspired by quantum mechanisms and phenomena in the brain, which can handle reversal of image background color. The QS-SNN incorporates quantum theory with brain-inspired spiking neural network models from a computational perspective, resulting in more robust performance compared with traditional ANN models, especially when processing noisy inputs. The results presented here will inform future efforts to develop brain-inspired artificial intelligence.


title: Domain Divergences: a Survey and Empirical Analysis

abstract: Domain divergence plays a significant role in estimating the performance of a model in new domains. While there is a significant literature on divergence measures, researchers find it hard to choose an appropriate divergence for a given NLP application. We address this shortcoming by both surveying the literature and through an empirical study. We develop a taxonomy of divergence measures consisting of three classes -- Information-theoretic, Geometric, and Higher-order measures and identify the relationships between them. Further, to understand the common use-cases of these measures, we recognise three novel applications -- 1) Data Selection, 2) Learning Representation, and 3) Decisions in the Wild -- and use it to organise our literature. From this, we identify that Information-theoretic measures are prevalent for 1) and 3), and Higher-order measures are more common for 2). To further help researchers choose appropriate measures to predict drop in performance -- an important aspect of Decisions in the Wild, we perform correlation analysis spanning 130 domain adaptation scenarios, 3 varied NLP tasks and 12 divergence measures identified from our survey. To calculate these divergences, we consider the current contextual word representations (CWR) and contrast with the older distributed representations. We find that traditional measures over word distributions still serve as strong baselines, while higher-order measures with CWR are effective.


title: The Analysis of Facial Feature Deformation using Optical Flow Algorithm

abstract: Facial features deformed according to the intended facial expression. Specific facial features are associated with specific facial expression, i.e. happy means the deformation of mouth. This paper presents the study of facial feature deformation for each facial expression by using an optical flow algorithm and segmented into three different regions of interest. The deformation of facial features shows the relation between facial the and facial expression. Based on the experiments, the deformations of eye and mouth are significant in all expressions except happy. For happy expression, cheeks and mouths are the significant regions. This work also suggests that different facial features' intensity varies in the way that they contribute to the recognition of the different facial expression intensity. The maximum magnitude across all expressions is shown by the mouth for surprise expression which is 9x10-4. While the minimum magnitude is shown by the mouth for angry expression which is 0.4x10-4.


title: Atomic Permutationally Invariant Polynomials for Fitting Molecular Force Fields

abstract: We introduce and explore an approach for constructing force fields for small molecules, which combines intuitive low body order empirical force field terms with the concepts of data driven statistical fits of recent machine learned potentials. We bring these two key ideas together to bridge the gap between established empirical force fields that have a high degree of transferability on the one hand, and the machine learned potentials that are systematically improvable and can converge to very high accuracy, on the other. Our framework extends the atomic Permutationally Invariant Polynomials (aPIP) developed for elemental materials in [Mach. Learn.: Sci. Technol. 2019 1 015004] to molecular systems. The body order decomposition allows us to keep the dimensionality of each term low, while the use of an iterative fitting scheme as well as regularisation procedures improve the extrapolation outside the training set. We investigate aPIP force fields with up to generalised 4-body terms, and examine the performance on a set of small organic molecules. We achieve a high level of accuracy when fitting individual molecules, comparable to those of the many-body machine learned force fields. Fitted to a combined training set of short linear alkanes, the accuracy of the aPIP force field still significantly exceeds what can be expected from classical empirical force fields, while retaining reasonable transferability to both configurations far from the training set and to new molecules.


title: A Simulation Study on Turnpikes in Stochastic LQ Optimal Control

abstract: This paper presents a simulation study on turnpike phenomena in stochastic optimal control problems. We employ the framework of Polynomial Chaos Expansions (PCE) to investigate the presence of turnpikes in stochastic LQ problems. Our findings indicate that turnpikes can be observed in the evolution of PCE coefficients as well as in the evolution of statistical moments. Moreover, the turnpike phenomenon can be observed for optimal realization trajectories and with respect to the optimal stationary distribution. Finally, while adding variance penalization to the objective alters the turnpike, it does not destroy the phenomenon.


title: A single-armed spiral in the protoplanetary disk around HD34282 ?

abstract: During the evolution of protoplanetary disks into planetary systems we expect to detect signatures that trace mechanisms such as planet-disk interaction. Protoplanetary disks display a large variety of structures in recently published high-spatial resolution images. However, the three-dimensional morphology of these disks is often difficult to infer from the two-dimensional projected images we observe. We spatially resolve the disk around HD 34282 using VLT/SPHERE in polarimetric imaging mode. We retrieve a profile for the height of the scattering surface to create a height-corrected deprojection, which simulates a face-on orientation. The disk displays a complex scattering surface. An inner clearing or cavity extending up to r<0.28" (88 au) is surrounded by a bright inclined (i = 56 deg) ring with a position angle of 119 deg. The center of this ring is offset from the star along the minor axis with 0.07", which can be explained with a disk-height of 26 au above the mid-plane. Outside this ring, beyond its south-eastern ansa we detect an azimuthal asymmetry or blob at r ~ 0.4". At larger separation, we detect an outer disk structure that can be fitted with an ellipse, compatible with a circular ring seen at r = 0.62" (190 au) and height of 77 au. After applying a height-corrected deprojection we see a circular ring centered on the star at 88 au, while what seemed to be a separate blob and outer ring, now both could be part of a single-armed spiral. Based on the current data it is not possible to conclude decisively whether $H_{\rm scat} / r$ remains constant or whether the surface is flared with at most $H_{\rm scat} \propto r^{1.35}$ , although we favor the constant ratio based on our deprojections. The height-corrected deprojection allows a more detailed interpretation of the observed structures, after which we discern the detection of a single-armed spiral.


title: Effect of deep-defect excitation on mechanical energy dissipation of single-crystal diamond

abstract: The ultra-wide bandgap of diamond distinguishes it from other semiconductors, in that all known defects have deep energy levels that are inactive at room temperature. Here, we present the effect of deep defects on the mechanical energy dissipation of single-crystal diamond experimentally and theoretically up to 973 K. Energy dissipation is found to increase with temperature and exhibits local maxima due to the interaction between phonons and deep defects activated at specific temperatures. A two-level model with deep energies is proposed to well explain the energy dissipation at elevated temperatures. It is evident that the removal of boron impurities can substantially increase the quality factor of room-temperature diamond mechanical resonators. The deep-energy nature of nitrogen bestows single-crystal diamond with outstanding low-intrinsic energy dissipation in mechanical resonators at room temperature or above.


title: Superconductor-metal quantum transition at the EuO-KTaO3 interface

abstract: Superconductivity has been one of the most fascinating quantum states of matter for over several decades. Among the superconducting materials, LaAlO3/SrTiO3 interface is of particularly interest since superconductivity exists between two insulating materials, which provides it with various unique applications compared with bulk superconductors and makes it a suitable platform to study the quantum Hall effect, charge density wave, superconductivity and magnetism in one device. Therefore, a lot of efforts have been made to search new superconducting oxide interface states with higher superconducting critical temperature (TC). Recently, a superconducting state with TC ~ 2 K has been found at the interface between a ferromagnetic insulator EuO and a band insulator (111)-KTaO3. Here, we report the experimental investigation of the superconductor-metal quantum phase transition of the EuO/KTaO3 interface. Around the transition, a divergence of the dynamical critical exponent is observed, which supports the quantum Griffiths singularity in the EuO/KTaO3 interface. The quantum Griffiths singularity could be attributed to large rare superconducting regions and quenched disorders at the interface. Our results could pave the way for studying the exotic superconducting properties at the EuO/KTaO3 interface.


title: Spatial segregation limit of traveling wave solutions for a fully nonlinear strongly coupled competitive system

abstract: The paper is concerned with a singular limit for the bistable traveling wave problem in a very large class of two-species fully nonlinear parabolic systems with competitive reaction terms. Assuming existence of traveling waves and enough compactness, we derive and characterize the limiting problem. The assumptions and results are discussed in detail. The free boundary problem obtained at the limit is specified for important applications.


title: Morse shellings on products

abstract: We recently defined a property of Morse shellability (and tileability) of finite simplicial complexes which extends the classical one and its relations with discrete Morse theory. We now prove that the product of two Morse tileable or shellable simplicial complexes carries Morse tileable or shellable triangulations under some tameness condition, and that any tiling or shelling becomes tame after one barycentric subdivision. We deduce that any finite product of closed manifolds of dimensions less than four carries Morse shellable triangulations whose critical and h-vectors are palindromic. We also prove that the h-vector of a Morse tiling is always palindromic in dimension less than four or in the case of an h-tiling, provided its critical vector is palindromic.


title: Thermoelectric ratchet effect for charge carriers with hopping dynamics

abstract: We show that the huge Seebeck coefficients observed recently for ionic conductors, arise from a ratchet effect where activated jumps between neighbor sites are rectified by a temperature gradient, thus driving mobile ions towards the cold. For complex systems with mobile molecules like water or polyethylene glycol, there is an even more efficient diffusiophoretic transport mechanism, proportional to the thermally induced concentration gradient of the molecular component. Without free parameters, our model describes experiments on the ionic liquid EMIM-TFSI and hydratedNaPSS, and it qualitatively accounts for polymer electrolyte membranes with Seebeck coefficients of hundreds of $k_B/e$.


title: Study of central intensity ratio of early-type galaxies from low density environment

abstract: We present correlations involving central intensity ratio (CIR) of 52 early type galaxies, including 24 ellipticals and 28 lenticulars, selected from low density environment in the nearby (< 30 Mpc) universe. CIR is found to be negatively and significantly correlated with the mass of the central super massive black hole, central velocity dispersion, absolute B band magnitude, stellar bulge mass and central Mg2 index of the host galaxy. The study proposes the use of CIR as a simple, fast and efficient photometric tool for exploring the co-evolution scenario existing in galaxies.


title: On the thermopower of ionic conductor and ionic capacitors

abstract: We theoretically study the thermoelectric response of ionic conductors to an applied temperaturegradient. As a main result we find that open and closed systems with respect to charge exchange,result in different expressions for the thermopower which may even take opposite signs. For theexperimentally most relevant zero-current steady state, we show that the thermopower of ionic conductorsdoes not depend on the mobilities, contrary to what is known for metals and semiconductors.The different behavior of ionic and electronic conductors is traced back to the unlike conservationlaws for ionic carriers and electron-hole pairs.


title: Improvement of HRS Variability in OxRRAM by Tailored Metallic Liner

abstract: In this work, we propose a novel integration in order to significantly reduce the High Resistance State vari-ability and to improve thermal stability in Oxide-based Resistive Random Access Memory (OxRRAM) devices. A novel device featuring a metallic liner, acting as a parallel resistance, is presented. To assess the effect of this solution, we compare the results with a standard OxRRAM cell structure. A very good stability of the resistive states, both in endurance and temperature, is highlighted and explained thanks to a conductive fila-ment based model.


title: Magnetic soliton: from two to three components with SO(3) symmetry

abstract: Recent theoretical and experimental research has explored magnetic solitons in binary Bose-Einstein condensates (BECs). Here we demonstrate that such solitons are part of an SO(3) soliton family when embedded within a full three-component spin-1 manifold with spin-rotational symmetry. To showcase this, we have experimentally created a new type of domain wall magnetic soliton (DWMS) obtained by 90 degree rotations, which consist of a boundary between easy-axis and easy-plane polar phases. Collisions between SO(3) solitons are investigated by numerically solving the Gross-Pitaevskii equations, which exhibit novel properties including rotation and dissipation of soliton spin polarization.


title: Generalized parton distributions of light nuclei

abstract: The measurement of nuclear generalized parton distributions (GPDs) in hard exclusive processes, such as deeply virtual Compton Scattering (DVCS), will be one of the main achievements of a new generation of experiments at high luminosity, such as those under way at the Jefferson Laboratory (JLab) with the 12 GeV electron beam and, above all, those planned at the future Electron Ion Collider. The CLAS collaboration at JLab has recently demonstrated the possibility to disentangle the two different channels of nuclear DVCS, the coherent and incoherent ones, a first step towards the measurement of GPDs of nuclei and of bound nucleons, respectively, opening new exciting perspectives in the field. In this scenario, theoretical precise calculations, ultimately realistic, become mandatory. Light nuclei, for which realistic studies are affordable and conventional nuclear effects can be safely estimated, so that possible exotic effects can be exposed, play an important role. The status of the calculation of GPDs for light nuclei will be summarized, in particular for $^3$He and $^4$He, and some updates will be presented. The prospects for the next years, related to the new series of measurements at future facilities, will be addressed.


title: Landau kinetic equation for dry aligning active models

abstract: The Landau equation is a kinetic equation based on the weak coupling approximation of the interaction between the particles. In the framework of dry active matter this new kinetic equation relies on the weak coupling approximation of both the alignment strength and the magnitude of the angular noise, instead of the hypothesis of diluteness. Therefore, it is a kinetic equation bridging between the Boltzmann [3], and the Smoluchowski [2] approximations, and allowing analytical descriptions at moderate densities. The form of the equation presents non-linear and density dependent diffusions and advections fully derived by the microscopic equations of motions. Finally, implementing the BGL procedure [25], the parameters of the Toner-Tu equations are derived showing the appearance of linearly stable homogeneous ordered solutions and mimicking the results obtained from the Boltzmann approach.


title: Learning to Optimise General TSP Instances

abstract: The Travelling Salesman Problem (TSP) is a classical combinatorial optimisation problem. Deep learning has been successfully extended to meta-learning, where previous solving efforts assist in learning how to optimise future optimisation instances. In recent years, learning to optimise approaches have shown success in solving TSP problems. However, they focus on one type of TSP problem, namely ones where the points are uniformly distributed in Euclidean spaces and have issues in generalising to other embedding spaces, e.g., spherical distance spaces, and to TSP instances where the points are distributed in a non-uniform manner. An aim of learning to optimise is to train once and solve across a broad spectrum of (TSP) problems. Although supervised learning approaches have shown to achieve more optimal solutions than unsupervised approaches, they do require the generation of training data and running a solver to obtain solutions to learn from, which can be time-consuming and difficult to find reasonable solutions for harder TSP instances. Hence this paper introduces a new learning-based approach to solve a variety of different and common TSP problems that are trained on easier instances which are faster to train and are easier to obtain better solutions. We name this approach the non-Euclidean TSP network (NETSP-Net). The approach is evaluated on various TSP instances using the benchmark TSPLIB dataset and popular instance generator used in the literature. We performed extensive experiments that indicate our approach generalises across many types of instances and scales to instances that are larger than what was used during training.


title: On the Koopman-von Neumann convergence condition of Ces\`{a}ro means in Riesz spaces

abstract: We extend the Koopman-von Neumann convergence condition on the Ces\`{a}ro mean to the context of a Dedekind complete Riesz space with weak order unit. As a consequence, a characterisation of conditional weak mixing is given in the Riesz space setting. The results are applied to convergence in $L^1$.


title: Feature matching in Ultrasound images

abstract: Feature matching is an important technique to identify a single object in different images. It helps machines to construct recognition of a specific object from multiple perspectives. For years, feature matching has been commonly used in various computer vision applications, like traffic surveillance, self-driving, and other systems. With the arise of Computer-Aided Diagnosis(CAD), the need for feature matching techniques also emerges in the medical imaging field. In this paper, we present a deep learning-based method specially for ultrasound images. It will be examined against existing methods that have outstanding results on regular images. As the ultrasound images are different from regular images in many fields like texture, noise type, and dimension, traditional methods will be evaluated and optimized to be applied to ultrasound images.


title: Exponential ReLU Neural Network Approximation Rates for Point and Edge Singularities

abstract: We prove exponential expressivity with stable ReLU Neural Networks (ReLU NNs) in $H^1(\Omega)$ for weighted analytic function classes in certain polytopal domains $\Omega$, in space dimension $d=2,3$. Functions in these classes are locally analytic on open subdomains $D\subset \Omega$, but may exhibit isolated point singularities in the interior of $\Omega$ or corner and edge singularities at the boundary $\partial \Omega$. The exponential expression rate bounds proved here imply uniform exponential expressivity by ReLU NNs of solution families for several elliptic boundary and eigenvalue problems with analytic data. The exponential approximation rates are shown to hold in space dimension $d = 2$ on Lipschitz polygons with straight sides, and in space dimension $d=3$ on Fichera-type polyhedral domains with plane faces. The constructive proofs indicate in particular that NN depth and size increase poly-logarithmically with respect to the target NN approximation accuracy $\varepsilon>0$ in $H^1(\Omega)$. The results cover in particular solution sets of linear, second order elliptic PDEs with analytic data and certain nonlinear elliptic eigenvalue problems with analytic nonlinearities and singular, weighted analytic potentials as arise in electron structure models. In the latter case, the functions correspond to electron densities that exhibit isolated point singularities at the positions of the nuclei. Our findings provide in particular mathematical foundation of recently reported, successful uses of deep neural networks in variational electron structure algorithms.


title: When the Open Source Community Meets COVID-19: Characterizing COVID-19 themed GitHub Repositories

abstract: Ever since the beginning of the outbreak of the COVID-19 pandemic, researchers from interdisciplinary domains have worked together to fight against the crisis. The open source community, plays a vital role in coping with the pandemic which is inherently a collaborative process. Plenty of COVID-19 related datasets, tools, software, deep learning models, are created and shared in research communities with great efforts. However, COVID-19 themed open source projects have not been systematically studied, and we are still unaware how the open source community helps combat COVID-19 in practice. To fill this void, in this paper, we take the first step to study COVID-19 themed repositories in GitHub, one of the most popular collaborative platforms. We have collected over 67K COVID-19 themed GitHub repositories till July 2020. We then characterize them from a number of aspects and classify them into six categories. We further investigate the contribution patterns of the contributors, and development and maintenance patterns of the repositories. This study sheds light on the promising direction of adopting open source technologies and resources to rapidly tackle the worldwide public health emergency in practice, and reveals existing challenges for improvement.


title: A Teacher-Student Framework for Semi-supervised Medical Image Segmentation From Mixed Supervision

abstract: Standard segmentation of medical images based on full-supervised convolutional networks demands accurate dense annotations. Such learning framework is built on laborious manual annotation with restrict demands for expertise, leading to insufficient high-quality labels. To overcome such limitation and exploit massive weakly labeled data, we relaxed the rigid labeling requirement and developed a semi-supervised learning framework based on a teacher-student fashion for organ and lesion segmentation with partial dense-labeled supervision and supplementary loose bounding-box supervision which are easier to acquire. Observing the geometrical relation of an organ and its inner lesions in most cases, we propose a hierarchical organ-to-lesion (O2L) attention module in a teacher segmentor to produce pseudo-labels. Then a student segmentor is trained with combinations of manual-labeled and pseudo-labeled annotations. We further proposed a localization branch realized via an aggregation of high-level features in a deep decoder to predict locations of organ and lesion, which enriches student segmentor with precise localization information. We validated each design in our model on LiTS challenge datasets by ablation study and showed its state-of-the-art performance compared with recent methods. We show our model is robust to the quality of bounding box and achieves comparable performance compared with full-supervised learning methods.


title: Light chaotic dynamics in the transformation from curved to flat surfaces

abstract: Light propagation on a two-dimensional curved surface embedded in a three-dimensional space has attracted increasing attention as an analog model of four-dimensional curved spacetime in laboratory. Despite recent developments in modern cosmology on the dynamics and evolution of the universe, investigation of nonlinear dynamics of light in non-Euclidean geometry is still scarce and remains challenging. Here, we study classical and wave chaotic dynamics on a family of surfaces of revolution by considering its equivalent conformally transformed flat billiard, with nonuniform distribution of refractive index. This equivalence is established by showing how these two systems have the same equations and the same dynamics. By exploring the Poincar\'{e} surface of section, the Lyapunov exponent and the statistics of eigenmodes and eigenfrequency spectrum in the transformed inhomogeneous table billiard, we find that the degree of chaos is fully controlled by a single geometric parameter of the curved surface. A simple interpretation of our findings in transformed billiards, the "fictitious force", allows to extend our prediction to other class of curved surfaces. This powerful analogy between two a prior unrelated systems not only brings forward a novel approach to control the degree of chaos, but also provides potentialities for further studies and applications in various fields, such as billiards design, optical fibers, or laser microcavities.


title: Temporal Attention-Augmented Graph Convolutional Network for Efficient Skeleton-Based Human Action Recognition

abstract: Graph convolutional networks (GCNs) have been very successful in modeling non-Euclidean data structures, like sequences of body skeletons forming actions modeled as spatio-temporal graphs. Most GCN-based action recognition methods use deep feed-forward networks with high computational complexity to process all skeletons in an action. This leads to a high number of floating point operations (ranging from 16G to 100G FLOPs) to process a single sample, making their adoption in restricted computation application scenarios infeasible. In this paper, we propose a temporal attention module (TAM) for increasing the efficiency in skeleton-based action recognition by selecting the most informative skeletons of an action at the early layers of the network. We incorporate the TAM in a light-weight GCN topology to further reduce the overall number of computations. Experimental results on two benchmark datasets show that the proposed method outperforms with a large margin the baseline GCN-based method while having 2.9 times less number of computations. Moreover, it performs on par with the state-of-the-art with up to 9.6 times less number of computations.


title: Learning from missing data with the Latent Block Model

abstract: Missing data can be informative. Ignoring this information can lead to misleading conclusions when the data model does not allow information to be extracted from the missing data. We propose a co-clustering model, based on the Latent Block Model, that aims to take advantage of this nonignorable nonresponses, also known as Missing Not At Random data (MNAR). A variational expectation-maximization algorithm is derived to perform inference and a model selection criterion is presented. We assess the proposed approach on a simulation study, before using our model on the voting records from the lower house of the French Parliament, where our analysis brings out relevant groups of MPs and texts, together with a sensible interpretation of the behavior of non-voters.


title: Proof-theoretic aspects of NL$\lambda$

abstract: We present a proof-theoretic analysis of the logic NL$\lambda$ (Barker \& Shan 2014, Barker 2019). We notably introduce a novel calculus of proof nets and prove it is sound and complete with respect to the sequent calculus for the logic. We study decidability and complexity of the logic using this new calculus, proving a new upper bound for complexity of the logic (showing it is in NP) and a new lower bound for the class of formal language generated by the formalism (mildly context-sensitive languages extended with a permutation closure operation). Finally, thanks to this new calculus, we present a novel comparison between NL$\lambda$ and the hybrid type-logical grammars of Kubota \& Levine (2020). We show there is an unexpected convergence of the natural language analyses proposed in the two formalism. In addition to studying the proof-theoretic properties of NL$\lambda$, we greatly extends its linguistic coverage.


title: Homological percolation transitions in growing simplicial complexes

abstract: Simplicial complex (SC) representation is an elegant mathematical framework for representing the effect of complexes or groups with higher-order interactions in a variety of complex systems ranging from brain networks to social relationships. Here, we explore the homological percolation transitions (HPTs) of growing SCs using empirical datasets and a model proposed. The HPTs are determined by the first and second Betti numbers, which indicate the appearance of one- and two-dimensional macroscopic-scale homological cycles and cavities, respectively. A minimal SC model with two essential factors, namely, growth and preferential attachment, is proposed to model social coauthorship relationships. This model successfully reproduces the HPTs and determines the transition types as infinite order (the Berezinskii--Kosterlitz--Thouless type) with different critical exponents. In contrast to the Kahle localization observed in static random SCs, the first Betti number continues to increase even after the second Betti number appears. This delocalization is found to stem from the two aforementioned factors and arises when the merging rate of two-dimensional simplexes is less than the birth rate of isolated simplexes. Our results can provide topological insight into the maturing steps of complex networks such as social and biological networks.


title: High Tc superconductivity in heavy Rare Earth Hydrides: correlation between the presence of the f states on the Fermi surface, nesting and the value of Tc

abstract: Lanthanum hydrides, containing hydrogen framework structures under compression, display a superconducting state with a high observed critical temperature. However, this phenomenon has so far only been observed at very high pressures. Here, we computationally search for superconductors with very high critical temperatures, but at much lower pressures. We uncover two such sodalite-type clathrate hydrides, YbH6 and LuH6 (Tc =145 K at P=70 GPa for YbH6 and, especially, Tc =273 K at P=100 GPa for LuH6). These striking properties are a consequence of the strong interrelationship between the f states present at the Fermi surface, structural stability and Tc value. For example, TmH6, with unfilled 4f orbitals, is stable at 50 GPa, while it has a relatively low value of Tc of 25 K. As for the YbH6 and LuH6 compounds, they have filled f-shells and the decrease of the f-energy below the Fermi level leads to formation of the nesting regions on the Fermi surface and, as a result, to phonon "softening" and an increase in Tc.


title: A Perspective on Machine Learning Methods in Turbulence Modelling

abstract: This work presents a review of the current state of research in data-driven turbulence closure modeling. It offers a perspective on the challenges and open issues, but also on the advantages and promises of machine learning methods applied to parameter estimation, model identification, closure term reconstruction and beyond, mostly from the perspective of Large Eddy Simulation and related techniques. We stress that consistency of the training data, the model, the underlying physics and the discretization is a key issue that needs to be considered for a successful ML-augmented modeling strategy. In order to make the discussion useful for non-experts in either field, we introduce both the modeling problem in turbulence as well as the prominent ML paradigms and methods in a concise and self-consistent manner. Following, we present a survey of the current data-driven model concepts and methods, highlight important developments and put them into the context of the discussed challenges.


title: Geometric Separability using Orthogonal Objects

abstract: Given a bichromatic point set $P=\textbf{R} \cup \textbf{B}$ of red and blue points, a separator is an object of a certain type that separates $\textbf{R}$ and $\textbf{B}$. We study the geometric separability problem when the separator is a) rectangular annulus of fixed orientation b) rectangular annulus of arbitrary orientation c) square annulus of fixed orientation d) orthogonal convex polygon. In this paper, we give polynomial time algorithms to construct separators of each of the above type that also optimizes a given parameter.


title: Current and Next Generation Survey Filter Conversions with ProSpect

abstract: In this work we compute a reasonably comprehensive set of tables for current and next generation survey facility filter conversions. Almost all useful transforms are included with the ProSpect software package described in Robotham et al (2020). Users are free to provide their own filters and compute their own transforms, where the included package examples outline the approach. This arXiv document will be relatively frequently updated, so people are encouraged to get in touch with their suggestions for additional utility (i.e. new filter sets).


title: Throughput-Optimal Topology Design for Cross-Silo Federated Learning

abstract: Federated learning usually employs a client-server architecture where an orchestrator iteratively aggregates model updates from remote clients and pushes them back a refined model. This approach may be inefficient in cross-silo settings, as close-by data silos with high-speed access links may exchange information faster than with the orchestrator, and the orchestrator may become a communication bottleneck. In this paper we define the problem of topology design for cross-silo federated learning using the theory of max-plus linear systems to compute the system throughput---number of communication rounds per time unit. We also propose practical algorithms that, under the knowledge of measurable network characteristics, find a topology with the largest throughput or with provable throughput guarantees. In realistic Internet networks with 10 Gbps access links for silos, our algorithms speed up training by a factor 9 and 1.5 in comparison to the master-slave architecture and to state-of-the-art MATCHA, respectively. Speedups are even larger with slower access links.


title: Coping with Label Shift via Distributionally Robust Optimisation

abstract: The label shift problem refers to the supervised learning setting where the train and test label distributions do not match. Existing work addressing label shift usually assumes access to an \emph{unlabelled} test sample. This sample may be used to estimate the test label distribution, and to then train a suitably re-weighted classifier. While approaches using this idea have proven effective, their scope is limited as it is not always feasible to access the target domain; further, they require repeated retraining if the model is to be deployed in \emph{multiple} test environments. Can one instead learn a \emph{single} classifier that is robust to arbitrary label shifts from a broad family? In this paper, we answer this question by proposing a model that minimises an objective based on distributionally robust optimisation (DRO). We then design and analyse a gradient descent-proximal mirror ascent algorithm tailored for large-scale problems to optimise the proposed objective. %, and establish its convergence. Finally, through experiments on CIFAR-100 and ImageNet, we show that our technique can significantly improve performance over a number of baselines in settings where label shift is present.


title: Any-to-One Sequence-to-Sequence Voice Conversion using Self-Supervised Discrete Speech Representations

abstract: We present a novel approach to any-to-one (A2O) voice conversion (VC) in a sequence-to-sequence (seq2seq) framework. A2O VC aims to convert any speaker, including those unseen during training, to a fixed target speaker. We utilize vq-wav2vec (VQW2V), a discretized self-supervised speech representation that was learned from massive unlabeled data, which is assumed to be speaker-independent and well corresponds to underlying linguistic contents. Given a training dataset of the target speaker, we extract VQW2V and acoustic features to estimate a seq2seq mapping function from the former to the latter. With the help of a pretraining method and a newly designed postprocessing technique, our model can be generalized to only 5 min of data, even outperforming the same model trained with parallel data.


title: Effective Field Theories and Lattice for Hard Probes

abstract: Effective Quantum Field Theories and QCD Lattice methods have become more and more complementary and mutually supportive in the study of Hard Probes. I present some of the progress that this alliance already delivered and I discuss future opportunities.


title: Rational curves and strictly nef divisors on Calabi--Yau threefolds

abstract: We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $\nu(D)\neq 1$, then $D$ is ample; we also show that if there exists a nef non-ample divisor $D$ with $D\not\equiv 0$, then $X$ contains a rational curve when its topological Euler characteristic is not $0$.


title: On the mechanical contribution of head stabilization to passive dynamics of anthropometric walkers

abstract: During the steady gait, humans stabilize their head around the vertical orientation. While there are sensori-cognitive explanations for this phenomenon, its mechanical e fect on the body dynamics remains un-explored. In this study, we take profit from the similarities that human steady gait share with the locomotion of passive dynamics robots. We introduce a simplified anthropometric D model to reproduce a broad walking dynamics. In a previous study, we showed heuristically that the presence of a stabilized head-neck system significantly influences the dynamics of walking. This paper gives new insights that lead to understanding this mechanical e fect. In particular, we introduce an original cart upper-body model that allows to better understand the mechanical interest of head stabilization when walking, and we study how this e fect is sensitive to the choice of control parameters.


title: Randomized linear gate set tomography

abstract: Characterizing the noise in the set of gate operations that form the building blocks of a quantum computational device is a necessity for assessing the quality of the device. Here, we introduce randomized linear gate set tomography, an easy-to-implement gate set tomography procedure that combines the idea of state-preparation-and-measurement-error-free characterization of standard gate set tomography with no-design randomized tomographic circuits and computational ease brought about by an appropriate linear approximation. We demonstrate the performance of our scheme through simulated examples as well as experiments done on the IBM Quantum Experience Platform. In each case, we see that the performance of our procedure is comparable with that of standard gateset tomography, while requiring no complicated tomographic circuit design and taking much less computational time in deducing the estimate of the noise parameters. This allows for straightforward on-the-fly characterization of the gate operations in an experiment.


title: Finite Continuum-Armed Bandits

abstract: We consider a situation where an agent has $T$ ressources to be allocated to a larger number $N$ of actions. Each action can be completed at most once and results in a stochastic reward with unknown mean. The goal of the agent is to maximize her cumulative reward. Non trivial strategies are possible when side information on the actions is available, for example in the form of covariates. Focusing on a nonparametric setting, where the mean reward is an unknown function of a one-dimensional covariate, we propose an optimal strategy for this problem. Under natural assumptions on the reward function, we prove that the optimal regret scales as $O(T^{1/3})$ up to poly-logarithmic factors when the budget $T$ is proportional to the number of actions $N$. When $T$ becomes small compared to $N$, a smooth transition occurs. When the ratio $T/N$ decreases from a constant to $N^{-1/3}$, the regret increases progressively up to the $O(T^{1/2})$ rate encountered in continuum-armed bandits.


title: Algorithms for Causal Reasoning in Probability Trees

abstract: Probability trees are one of the simplest models of causal generative processes. They possess clean semantics and -- unlike causal Bayesian networks -- they can represent context-specific causal dependencies, which are necessary for e.g. causal induction. Yet, they have received little attention from the AI and ML community. Here we present concrete algorithms for causal reasoning in discrete probability trees that cover the entire causal hierarchy (association, intervention, and counterfactuals), and operate on arbitrary propositional and causal events. Our work expands the domain of causal reasoning to a very general class of discrete stochastic processes.


title: Hard Example Generation by Texture Synthesis for Cross-domain Shape Similarity Learning

abstract: Image-based 3D shape retrieval (IBSR) aims to find the corresponding 3D shape of a given 2D image from a large 3D shape database. The common routine is to map 2D images and 3D shapes into an embedding space and define (or learn) a shape similarity measure. While metric learning with some adaptation techniques seems to be a natural solution to shape similarity learning, the performance is often unsatisfactory for fine-grained shape retrieval. In the paper, we identify the source of the poor performance and propose a practical solution to this problem. We find that the shape difference between a negative pair is entangled with the texture gap, making metric learning ineffective in pushing away negative pairs. To tackle this issue, we develop a geometry-focused multi-view metric learning framework empowered by texture synthesis. The synthesis of textures for 3D shape models creates hard triplets, which suppress the adverse effects of rich texture in 2D images, thereby push the network to focus more on discovering geometric characteristics. Our approach shows state-of-the-art performance on a recently released large-scale 3D-FUTURE[1] repository, as well as three widely studied benchmarks, including Pix3D[2], Stanford Cars[3], and Comp Cars[4]. Codes will be made publicly available at: https://github.com/3D-FRONT-FUTURE/IBSR-texture


title: Domain Adaptation in LiDAR Semantic Segmentation by Aligning Class Distributions

abstract: LiDAR semantic segmentation provides 3D semantic information about the environment, an essential cue for intelligent systems during their decision making processes. Deep neural networks are achieving state-of-the-art results on large public benchmarks on this task. Unfortunately, finding models that generalize well or adapt to additional domains, where data distribution is different, remains a major challenge. This work addresses the problem of unsupervised domain adaptation for LiDAR semantic segmentation models. Our approach combines novel ideas on top of the current state-of-the-art approaches and yields new state-of-the-art results. We propose simple but effective strategies to reduce the domain shift by aligning the data distribution on the input space. Besides, we propose a learning-based approach that aligns the distribution of the semantic classes of the target domain to the source domain. The presented ablation study shows how each part contributes to the final performance. Our strategy is shown to outperform previous approaches for domain adaptation with comparisons run on three different domains.


title: Possible coexistence of kinetic Alfv\'en and ion Bernstein modes in sub-ion scale compressive turbulence in the solar wind

abstract: We investigate compressive turbulence at sub-ion scales with measurements from the Magnetospheric MultiScale Mission. The tetrahedral configuration and high time resolution density data obtained by calibrating spacecraft potential allow an investigation of the turbulent density fluctuations in the solar wind and their three-dimensional structure in the sub-ion range. The wave-vector associated with the highest energy density at each spacecraft frequency is obtained by application of the Multi-point signal resonator technique to the four-point density data. The fluctuations show a strong wave-vector anisotropy $k_{\perp}\gg k_{\parallel}$ where the parallel and perpendicular symbols are with respect to the mean magnetic field direction. The plasma frame frequencies show two populations, one below the proton cyclotron frequency $\omega<\Omega_{ci}$ consistent with kinetic Alfv\'en wave (KAW) turbulence. The second component has higher frequencies $\omega > \Omega_{ci}$ consistent with ion Bernstein wave (IBW) turbulence. Alternatively, these fluctuations may constitute KAWs that have undergone multiple wave-wave interactions causing a broadening in the plasma frame frequencies. The scale-dependent kurtosis in this wave-vector region shows a reduction in intermittency at the small scales which can also be explained by the presence of wave activity. Our results suggest that small-scale turbulence exhibits linear-wave properties of kinetic Alfv\'en and possibly ion-Bernstein/magnetosonic waves. Based on our results, we speculate that these waves may play a role in describing the observed reduction in intermittency at sub ion scales.


title: Coexistence of CH4, CO2 and H2O in exoplanet atmospheres

abstract: We propose a classification of exoplanet atmospheres based on their H, C, O, N element abundances below about 600 K. Chemical equilibrium models were run for all combinations of H, C, N, O abundances, and three types of solutions were found, which are robust against variations of temperature, pressure and nitrogen abundance. Type A atmospheres contain H2O, CH4, NH3 and either H2 or N2, but only traces of CO2 and O2. Type B atmospheres contain O2, H2O, CO2 and N2, but only traces of CH4, NH3 and H2. Type C atmospheres contain H2O, CO2, CH4 and N2, but only traces of NH3, H2 and O2. Other molecules are only present in ppb or ppm concentrations in chemical equilibrium, depending on temperature. Type C atmospheres are not found in the solar system, where atmospheres are generally cold enough for water to condense, but exoplanets may well host such atmospheres. Our models show that graphite (soot) clouds can occur in type C atmospheres in addition to water clouds, which can occur in all types of atmospheres. Full equilibrium condensation models show that the outgassing from warm rock can naturally provide type C atmospheres. We conclude that type C atmospheres, if they exist, would lead to false positive detections of biosignatures in exoplanets when considering the coexistence of CH4 and CO2, and suggest other, more robust non-equilibrium markers.


title: Efficient shifted fractional trapezoidal rule for subdiffusion problems with nonsmooth solutions on uniform meshes

abstract: This article devotes to developing robust but simple correction techniques and efficient algorithms for a class of second-order time stepping methods, namely the shifted fractional trapezoidal rule (SFTR), for subdiffusion problems to resolve the initial singularity and nonlocality. The stability analysis and sharp error estimates in terms of the smoothness of the initial data and source term are presented. As a byproduct in numerical tests, we find amazingly that the Crank-Nicolson scheme ($\theta=\frac{1}{2}$) without initial corrections can restore the optimal convergence rate for the subdiffusion problem with smooth initial data and source terms. To deal with the nonlocality, fast algorithms are considered to reduce the computational cost from $O(N^2)$ to $O(N \log N)$ and save the memory storage from $O(N)$ to $O(\log N)$, where $N$ denotes the number of time levels. Numerical tests are performed to verify the sharpness of the theoretical results and confirm the efficiency and accuracy of initial corrections and the fast algorithms.


title: An analysis of the SIGMOD 2014 Programming Contest: Complex queries on the LDBC social network graph

abstract: This report contains an analysis of the queries defined in the SIGMOD 2014 Programming Contest. We first describe the data set, then present the queries, providing graphical illustrations for them and pointing out their caveats. Our intention is to document our lessons learnt and simplify the work of those who will attempt to create a solution to this contest. We also demonstrate the influence of this contest by listing followup works which used these queries as inspiration to design better algorithms or to define interesting graph queries.


title: Self-induced heterogeneity in deeply supercooled liquids

abstract: A theoretical treatment of deeply supercooled liquids is difficult because their properties emerge from spatial inhomogeneities that are self-induced, transient, and nanoscopic. I use computer simulations to analyse self-induced static and dynamic heterogeneity in equilibrium systems approaching the experimental glass transition. I characterise the broad sample-to-sample fluctuations of salient dynamic and thermodynamic properties in elementary mesoscopic systems. Findings regarding local lifetimes and distributions of dynamic heterogeneity are in excellent agreement with recent single molecule studies. Surprisingly broad thermodynamic fluctuations are also found, which correlate well with dynamics fluctuations, thus providing a local test of the thermodynamic origin of slow dynamics.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.soft physics.chem-ph


title: Option Hedging with Risk Averse Reinforcement Learning

abstract: In this paper we show how risk-averse reinforcement learning can be used to hedge options. We apply a state-of-the-art risk-averse algorithm: Trust Region Volatility Optimization (TRVO) to a vanilla option hedging environment, considering realistic factors such as discrete time and transaction costs. Realism makes the problem twofold: the agent must both minimize volatility and contain transaction costs, these tasks usually being in competition. We use the algorithm to train a sheaf of agents each characterized by a different risk aversion, so to be able to span an efficient frontier on the volatility-p\&l space. The results show that the derived hedging strategy not only outperforms the Black \& Scholes delta hedge, but is also extremely robust and flexible, as it can efficiently hedge options with different characteristics and work on markets with different behaviors than what was used in training.


title: Wind Driven Semiconductor Electricity Generator With High Direct Current Output Based On a Dynamic Schottky Junction

abstract: As the fast development of internet of things (IoTs), distributed sensors have been frequently used and the small and portable power sources are highly demanded. However, the present portable power source such as lithium battery has low capacity and need to be replaced or recharged frequently. A portable power source which can continuously generate electrical power in situ will be an idea solution. Herein, we demonstrate a wind driven semiconductor electricity generator based on a dynamic Schottky junction, which can output a continuous direct current with an average value of 4.4 mA (the maximum value of 8.4 mA) over 360 seconds. Compared with the previous metal/semiconductor generator, the output current is one thousand times higher. Furthermore, this wind driven generator has been explored to function as a turn counter due to its stable output and also to drive a graphene ultraviolet photodetector, which shows a responsivity of 35.8 A/W under the 365 nm ultraviolet light. Our research provides a feasible method to achieve wind power generation and power supply for distributed sensors in the future.


title: An Asymptotically Optimal Primal-Dual Incremental Algorithm for Contextual Linear Bandits

abstract: In the contextual linear bandit setting, algorithms built on the optimism principle fail to exploit the structure of the problem and have been shown to be asymptotically suboptimal. In this paper, we follow recent approaches of deriving asymptotically optimal algorithms from problem-dependent regret lower bounds and we introduce a novel algorithm improving over the state-of-the-art along multiple dimensions. We build on a reformulation of the lower bound, where context distribution and exploration policy are decoupled, and we obtain an algorithm robust to unbalanced context distributions. Then, using an incremental primal-dual approach to solve the Lagrangian relaxation of the lower bound, we obtain a scalable and computationally efficient algorithm. Finally, we remove forced exploration and build on confidence intervals of the optimization problem to encourage a minimum level of exploration that is better adapted to the problem structure. We demonstrate the asymptotic optimality of our algorithm, while providing both problem-dependent and worst-case finite-time regret guarantees. Our bounds scale with the logarithm of the number of arms, thus avoiding the linear dependence common in all related prior works. Notably, we establish minimax optimality for any learning horizon in the special case of non-contextual linear bandits. Finally, we verify that our algorithm obtains better empirical performance than state-of-the-art baselines.


title: Upper bounds for Steklov eigenvalues of submanifolds in Euclidean space via the intersection index

abstract: We obtain upper bounds for the Steklov eigenvalues $\sigma_k(M)$ of a smooth, compact, connected, $n$-dimensional submanifold $M$ of Euclidean space with boundary $\Sigma$ that involve the intersection indices of $M$ and of $\Sigma$. One of our main results is an explicit upper bound in terms of the intersection index of $\Sigma$, the volume of $\Sigma$ and the volume of $M$ as well as dimensional constants. By also taking the injectivity radius of $\Sigma$ into account, we obtain an upper bound that has the optimal exponent of $k$ with respect to the asymptotics of the Steklov eigenvalues as $k \to \infty$.


title: Multi Scale Identity-Preserving Image-to-Image Translation Network for Low-Resolution Face Recognition

abstract: State-of-the-art deep neural network models have reached near perfect face recognition accuracy rates on controlled high-resolution face images. However, their performance is drastically degraded when they are tested with very low-resolution face images. This is particularly critical in surveillance systems, where a low-resolution probe image is to be matched with high-resolution gallery images. super-resolution techniques aim at producing high-resolution face images from low-resolution counterparts. While they are capable of reconstructing images that are visually appealing, the identity-related information is not preserved. Here, we propose an identity-preserving end-to-end image-to-image translation deep neural network which is capable of super-resolving very low-resolution faces to their high-resolution counterparts while preserving identity-related information. We achieved this by training a very deep convolutional encoder-decoder network with a symmetric contracting path between corresponding layers. This network was trained with a combination of a reconstruction and an identity-preserving loss, on multi-scale low-resolution conditions. Extensive quantitative evaluations of our proposed model demonstrated that it outperforms competing super-resolution and low-resolution face recognition methods on natural and artificial low-resolution face data sets and even unseen identities.


title: Nonlinearity-induced photonic topological insulator

abstract: The hallmark feature of topological insulators renders edge transport virtually impervious to scattering at defects and lattice disorder. In our work, we experimentally demonstrate a topological system, using a photonic platform, in which the very existence of the topological phase is brought about by nonlinearity. Whereas in the linear regime, the lattice structure remains topologically trivial, light beams launched above a certain power threshold drive the system into its transient topological regime, and thereby define a nonlinear unidirectional channel along its edge. Our work studies topological properties of matter in the nonlinear regime, and may pave the way towards compact devices that harness topological features in an on-demand fashion.


title: A scalable framework for learning from implicit user feedback to improve natural language understanding in large-scale conversational AI systems

abstract: Natural Language Understanding (NLU) is an established component within a conversational AI or digital assistant system, and it is responsible for producing semantic understanding of a user request. We propose a scalable and automatic approach for improving NLU in a large-scale conversational AI system by leveraging implicit user feedback, with an insight that user interaction data and dialog context have rich information embedded from which user satisfaction and intention can be inferred. In particular, we propose a general domain-agnostic framework for curating new supervision data for improving NLU from live production traffic. With an extensive set of experiments, we show the results of applying the framework and improving NLU for a large-scale production system and show its impact across 10 domains.


title: Towards A First Step to Understand Flash Loan and Its Applications in DeFi Ecosystem

abstract: Flash Loan, as an emerging service in the decentralized finance ecosystem, allows users to request a non-collateral loan. While providing convenience, it also enables attackers to launch malicious operations with a large amount of asset that they do not have. Though there exist spot media reports of attacks that leverage Flash Loan, there lacks a comprehensive understanding of existing Flash Loan services. In this work, we take the first step to study the Flash Loan service provided by three popular platforms. Specifically, we first illustrate the interactions between Flash Loan providers and users. Then, we design three patterns to identify Flash Loan transactions. Based on the patterns, 76, 303 transactions are determined. The evaluation results show that the Flash Loan services get more popular over time. At last, we present four Flash Loan applications with real-world examples and propose two potential research directions.


title: Maximizing spin-orbit torque efficiency of Ta(O)/Py via modulating oxygen-induced interface orbital hybridization

abstract: Spin-orbit torques due to interfacial Rashba and spin Hall effects have been widely considered as a potentially more efficient approach than the conventional spin-transfer torque to control the magnetization of ferromagnets. We report a comprehensive study of spin-orbit torque efficiency in Ta(O)/Ni81Fe19 bilayers by tuning low-oxidation of \b{eta}-phase tantalum, and find that the spin Hall angle {\theta}DL increases from ~ -0.18 of the pure Ta/Py to the maximum value ~ -0.30 of Ta(O)/Py with 7.8% oxidation. Furthermore, we distinguish the efficiency of the spin-orbit torque generated by the bulk spin Hall effect and by interfacial Rashba effect, respectively, via a series of Py/Cu(0-2 nm)/Ta(O) control experiments. The latter has more than twofold enhancement, and even more significant than that of the former at the optimum oxidation level. Our results indicate that 65% enhancement of the efficiency should be related to the modulation of the interfacial Rashba-like spin-orbit torque due to oxygen-induced orbital hybridization cross the interface. Our results suggest that the modulation of interfacial coupling via oxygen-induced orbital hybridization can be an alternative method to boost the change-spin conversion rate.


title: On the subalgebra lattice of a Leibniz algebra

abstract: In this paper we begin to study the subalgebra lattice of a Leibniz algebra. In particular, we deal with Leibniz algebras whose subalgebra lattice is modular, upper semi-modular, lower semi-modular, distributive, or dually atomistic. The fact that a non-Lie Leibniz algebra has fewer one-dimensional subalgebras in general results in a number of lattice conditions being weaker than in the Lie case.


title: Hubbard model vs. Kondo model: Strong coupling limit

abstract: The Hubbard model and the lattice Kondo model are shown to become identical in the strong-coupling limit. A departure from the strong-coupling regime produces distinct theories, however: the relevant perturbation terms give rise to either short-range spin exchange $(t-J$ model) or short-range charge exchange ($t-V$ model), respectively.