title: Why is the Mahalanobis Distance Effective for Anomaly Detection?

abstract: The Mahalanobis distance-based confidence score, a recently proposed anomaly detection method for pre-trained neural classifiers, achieves state-of-the-art performance on both out-of-distribution (OoD) and adversarial examples detection. This work analyzes why this method exhibits such strong performance in practical settings while imposing an implausible assumption; namely, that class conditional distributions of pre-trained features have tied covariance. Although the Mahalanobis distance-based method is claimed to be motivated by classification prediction confidence, we find that its superior performance stems from information not useful for classification. This suggests that the reason the Mahalanobis confidence score works so well is mistaken, and makes use of different information from ODIN, another popular OoD detection method based on prediction confidence. This perspective motivates us to combine these two methods, and the combined detector exhibits improved performance and robustness. These findings provide insight into the behavior of neural classifiers in response to anomalous inputs.


title: Cops-Ref: A new Dataset and Task on Compositional Referring Expression Comprehension

abstract: Referring expression comprehension (REF) aims at identifying a particular object in a scene by a natural language expression. It requires joint reasoning over the textual and visual domains to solve the problem. Some popular referring expression datasets, however, fail to provide an ideal test bed for evaluating the reasoning ability of the models, mainly because 1) their expressions typically describe only some simple distinctive properties of the object and 2) their images contain limited distracting information. To bridge the gap, we propose a new dataset for visual reasoning in context of referring expression comprehension with two main features. First, we design a novel expression engine rendering various reasoning logics that can be flexibly combined with rich visual properties to generate expressions with varying compositionality. Second, to better exploit the full reasoning chain embodied in an expression, we propose a new test setting by adding additional distracting images containing objects sharing similar properties with the referent, thus minimising the success rate of reasoning-free cross-domain alignment. We evaluate several state-of-the-art REF models, but find none of them can achieve promising performance. A proposed modular hard mining strategy performs the best but still leaves substantial room for improvement. We hope this new dataset and task can serve as a benchmark for deeper visual reasoning analysis and foster the research on referring expression comprehension.


title: Capillary-driven indentation of a microparticle into a soft, oil-coated substrate

abstract: Small scale contact between a soft, liquid-coated layer and a stiff surface is common in many situations, from synovial fluid on articular cartilage to adhesives in humid environments. Moreover, many model studies on soft adhesive contacts are conducted with soft silicone elastomers, which possess uncrosslinked liquid molecules (i.e. silicone oil) when the modulus is low. We investigate how the thickness of a silicone oil layer on a soft substrate relates to the indentation depth of glass microspheres in contact with crosslinked PDMS, which have a modulus of <10 kPa. The particles indent into the underlying substrate more as a function of decreasing oil layer thickness. This is due to the presence of the liquid layer at the surface that causes capillary forces to push down on the particle. A simple model that balances the capillary force of the oil layer and the particle-substrate adhesion with the elastic and surface tension forces from the substrate is proposed to predict the particle indentation depth.


title: Efficient Wu-Manber Pattern Matching Hardware for Intrusion and Malware Detection

abstract: Network intrusion detection systems and antivirus software are essential in detecting malicious network traffic and attacks such as denial-of-service and malwares. Each attack, worm or virus has its own distinctive signature. Signature-based intrusion detection and antivirus systems depend on pattern matching to look for possible attack signatures. Pattern matching is a very complex task, which requires a lot of time, memory and computing resources. Software-based intrusion detection is not fast enough to match high network speeds and the increasing number of attacks. In this paper, we propose special purpose hardware for Wu-Manber pattern matching algorithm. FPGAs form an excellent choice because of their massively parallel structure, reprogrammable logic and memory resources. The hardware is designed in Verilog and implemented using Xilinx ISE. For evaluation, we dope network traffic traces collected using Wireshark with 2500 signatures from the ClamAV virus definitions database. Experimental results show high speed that reaches up to 216 Mbps. In addition, we evaluate time, device usage, and power consumption.


title: FMT:Fusing Multi-task Convolutional Neural Network for Person Search

abstract: Person search is to detect all persons and identify the query persons from detected persons in the image without proposals and bounding boxes, which is different from person re-identification. In this paper, we propose a fusing multi-task convolutional neural network(FMT-CNN) to tackle the correlation and heterogeneity of detection and re-identification with a single convolutional neural network. We focus on how the interplay of person detection and person re-identification affects the overall performance. We employ person labels in region proposal network to produce features for person re-identification and person detection network, which can improve the accuracy of detection and re-identification simultaneously. We also use a multiple loss to train our re-identification network. Experiment results on CUHK-SYSU Person Search dataset show that the performance of our proposed method is superior to state-of-the-art approaches in both mAP and top-1.


title: Extreme-Scale Density Functional Theory High Performance Computing of DGDFT for Tens of Thousands of Atoms using Millions of Cores on Sunway TaihuLight

abstract: High performance computing (HPC) is a powerful tool to accelerate the Kohn-Sham density functional theory (KS-DFT) calculations on modern heterogeneous supercomputers. Here, we describe a massively extreme-scale parallel and portable implementation of discontinuous Galerkin density functional theory (DGDFT) method on the Sunway TaihuLight supercomputer. The DGDFT method uses the adaptive local basis (ALB) functions generated on-the-fly during the self-consistent field (SCF) iteration to solve the KS equations with the high precision comparable to that of plane-wave basis set. In particular, the DGDFT method adopts a two-level parallelization strategy that makes use of different types of data distribution, task scheduling, and data communication schemes, and combines with the feature of master-slave multi-thread heterogeneous parallelism of SW26010 processor, resulting in extreme-scale HPC KS-DFT calculations on the Sunway TaihuLight supercomputer. We show that the DGDFT method can scale up to 8,519,680 processing cores (131,072 core groups) on the Sunway TaihuLight supercomputer for investigating the electronic structures of two-dimensional (2D) metallic graphene systems containing tens of thousands of carbon atoms.


title: Restriction estimates for certain surfaces of finite type in $\mathbb{R}^3$

abstract: In this paper, we study the restriction estimate for a certain surface of finite type in $\mathbb{R}^3$, and partially improves the results of Buschenhenke-M\"{u}ller-Vargas. The key ingredients of the proof include the so called generalized rescaling technique based on a decomposition adapted to finite type geometry, a decoupling inequality and reduction of dimension arguments.


title: Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection

abstract: A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed. The key point of the algorithm is a new projection operator, called sample-cell projection operator, custom-made for Conflict-Driven Clause Learning (CDCL)-style search. Although the new operator is also a CAD (Cylindrical Algebraic Decomposition)-like projection operator which computes the cell (not necessarily cylindrical) containing a given sample such that each polynomial from the problem is sign-invariant on the cell, it is of singly exponential time complexity. The sample-cell projection operator can efficiently guide CDCL-style search away from conflicting states. Experiments show the effectiveness of the new algorithm.


title: PF-Net: Point Fractal Network for 3D Point Cloud Completion

abstract: In this paper, we propose a Point Fractal Network (PF-Net), a novel learning-based approach for precise and high-fidelity point cloud completion. Unlike existing point cloud completion networks, which generate the overall shape of the point cloud from the incomplete point cloud and always change existing points and encounter noise and geometrical loss, PF-Net preserves the spatial arrangements of the incomplete point cloud and can figure out the detailed geometrical structure of the missing region(s) in the prediction. To succeed at this task, PF-Net estimates the missing point cloud hierarchically by utilizing a feature-points-based multi-scale generating network. Further, we add up multi-stage completion loss and adversarial loss to generate more realistic missing region(s). The adversarial loss can better tackle multiple modes in the prediction. Our experiments demonstrate the effectiveness of our method for several challenging point cloud completion tasks.


title: Data Pre-Processing and Evaluating the Performance of Several Data Mining Methods for Predicting Irrigation Water Requirement

abstract: Recent drought and population growth are planting unprecedented demand for the use of available limited water resources. Irrigated agriculture is one of the major consumers of freshwater. A large amount of water in irrigated agriculture is wasted due to poor water management practices. To improve water management in irrigated areas, models for estimation of future water requirements are needed. Developing a model for forecasting irrigation water demand can improve water management practices and maximise water productivity. Data mining can be used effectively to build such models. In this study, we prepare a dataset containing information on suitable attributes for forecasting irrigation water demand. The data is obtained from three different sources namely meteorological data, remote sensing images and water delivery statements. In order to make the prepared dataset useful for demand forecasting and pattern extraction, we pre-process the dataset using a novel approach based on a combination of irrigation and data mining knowledge. We then apply and compare the effectiveness of different data mining methods namely decision tree (DT), artificial neural networks (ANNs), systematically developed forest (SysFor) for multiple trees, support vector machine (SVM), logistic regression, and the traditional Evapotranspiration (ETc) methods and evaluate the performance of these models to predict irrigation water demand. Our experimental results indicate the usefulness of data pre-processing and the effectiveness of different classifiers. Among the six methods we used, SysFor produces the best prediction with 97.5% accuracy followed by a decision tree with 96% and ANN with 95% respectively by closely matching the predictions with actual water usage. Therefore, we recommend using SysFor and DT models for irrigation water demand forecasting.


title: $S$-secondary submodules of a module

abstract: Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. The aim of this paper is to introduce the notion of S-secondary submodules of M as a generalization of secondary submodules of M and investigate some properties of this class of submodules.


title: Simple closed geodesics on hyperelliptic translation surfaces and classification theorem for translation surfaces in $\mathcal{H}^{\mathrm{hyp}}(4)$

abstract: In this paper, we give the maximum of the numbers $n$ such that we can take $n$ simple closed geodesics without singularities that are disjoint to each other for translation surfaces in the hyperelliptic components $\mathcal{H}^{\rm {hyp}}(2g-2)$ and $\mathcal{H}^{\rm{hyp}}(g-1, g-1)$. The maximum is different from that of the case of hyperbolic surfaces. We also give a classification theorem for translation surfaces in $\mathcal{H}^{\mathrm{hyp}}(4)$ with respect to their Euclidean structures.


title: Harmonics Based Representation in Clarinet Tone Quality Evaluation

abstract: Music tone quality evaluation is generally performed by experts. It could be subjective and short of consistency and fairness as well as time-consuming. In this paper we present a new method for identifying the clarinet reed quality by evaluating tone quality based on the harmonic structure and energy distribution. We first decouple the quality of reed and clarinet pipe based on the acoustic harmonics, and discover that the reed quality is strongly relevant to the even parts of the harmonics. Then we construct a features set consisting of the even harmonic envelope and the energy distribution of harmonics in spectrum. The annotated clarinet audio data are recorded from 3 levels of performers and the tone quality is classified by machine learning. The results show that our new method for identifying low and medium high tones significantly outperforms previous methods.


title: Advanced kNN: A Mature Machine Learning Series

abstract: k-nearest neighbour (kNN) is one of the most prominent, simple and basic algorithm used in machine learning and data mining. However, kNN has limited prediction ability, i.e., kNN cannot predict any instance correctly if it does not belong to any of the predefined classes in the training data set. The purpose of this paper is to suggest an Advanced kNN (A-kNN) algorithm that will be able to classify an instance as unknown, after verifying that it does not belong to any of the predefined classes. Performance of kNN and A-kNN is compared on three different data sets namely iris plant data set, BUPA liver disorder data set, and Alpha Beta detection data set. Results of A-kNN are significantly accurate for detecting unknown instances.


title: Numerical Discretization of Variational Phase Field Model for Phase Transitions in Ferroelectric Thin Films

abstract: Phase field methods have been widely used to study phase transitions and polarization switching in ferroelectric thin films. In this paper, we develop an efficient numerical scheme for the variational phase field model based on variational forms of the electrostatic energy and the relaxation dynamics of the polarization vector. The spatial discretization combines the Fourier spectral method with the finite difference method to handle three-dimensional mixed boundary conditions. It allows for an efficient semi-implicit discretization for the time integration of the relaxation dynamics. This method avoids explicitly solving the electrostatic equilibrium equation (a Poisson equation) and eliminates the use of associated Lagrange multipliers. We present several numerical examples including phase transitions and polarization switching processes to demonstrate the effectiveness of the proposed method.


title: Nonreciprocal Terahertz Second Harmonic Generation in Superconducting NbN under Supercurrent Injection

abstract: Giant second-harmonic generation (SHG) in the terahertz (THz) frequency range is observed in a thin film of an s-wave superconductor NbN, where the time-reversal ($\mathcal{T}$-) and space-inversion ($\mathcal{P}$-) symmetries are simultaneously broken by supercurrent injection. We demonstrate that the phase of the second-harmonic (SH) signal flips when the direction of supercurrent is inverted, i.e., the signal is ascribed to the nonreciprocal response that occurs under broken $\mathcal{P}$- and $\mathcal{T}$-symmetries. The temperature dependence of the SH signal exhibits a sharp resonance, which is accounted for by the vortex motion driven by the THz electric field in an anharmonic pinning potential. The maximum conversion ratio $\eta_{\mathrm{SHG}}$ reaches $\approx10^{-2}$ in a thin film NbN with the thickness of 25 nm after the field cooling with a very small magnetic field of $\approx1$ Oe, for a relatively weak incident THz electric field of 2.8 kV/cm at 0.48 THz.


title: Towards Automatic Face-to-Face Translation

abstract: In light of the recent breakthroughs in automatic machine translation systems, we propose a novel approach that we term as "Face-to-Face Translation". As today's digital communication becomes increasingly visual, we argue that there is a need for systems that can automatically translate a video of a person speaking in language A into a target language B with realistic lip synchronization. In this work, we create an automatic pipeline for this problem and demonstrate its impact on multiple real-world applications. First, we build a working speech-to-speech translation system by bringing together multiple existing modules from speech and language. We then move towards "Face-to-Face Translation" by incorporating a novel visual module, LipGAN for generating realistic talking faces from the translated audio. Quantitative evaluation of LipGAN on the standard LRW test set shows that it significantly outperforms existing approaches across all standard metrics. We also subject our Face-to-Face Translation pipeline, to multiple human evaluations and show that it can significantly improve the overall user experience for consuming and interacting with multimodal content across languages. Code, models and demo video are made publicly available. Demo video: https://www.youtube.com/watch?v=aHG6Oei8jF0 Code and models: https://github.com/Rudrabha/LipGAN


title: Effect of heavy impurities on the dynamics of supercooled liquids

abstract: We study the effect of heavy impurities on the dynamics of supercooled liquids. When a small fraction of particles in the supercooled liquid is made heavier, they exhibit slower dynamics than the original particles and also make the overall system slower. If one looks at the overlap correlation function to quantify dynamics in the system, it has different behavior for the heavy and the light particles. In particular, at the relaxation time of the overall system, the degree of relaxation achieved by the heavier particles is lesser on average than that achieved by the light particles. This difference in relaxation however, goes down drastically as a crossover temperature, $T_0$, is crossed. Below this crossover temperature, particles in the system have similar relaxation times irrespective of their masses. This crossover temperature depends on the fraction of the heavy particles and their masses. Next, we isolate the effect of mass heterogeneity on the dynamics of supercooled liquids and find that its effect increases monotonically with temperature. We also see that the development of dynamical heterogeneity with decreasing temperature is less dramatic for the system with impurities than for the pure system. Finally, the introduction of heavy impurities can be seen as a way of reducing the kinetic fragility of a supercooled liquid.


title: 280-km experimental demonstration of quantum digital signature with one decoy state

abstract: Quantum digital signature (QDS) guarantee the unforgeability, nonrepudiation and transferability of signature messages with information-theoretical security, and hence has attracted much attention recently. However, most previous implementations of QDS showed relatively low signature rates or/and short transmission distance. In this paper, we report a proof-of-principle phase-encoding QDS demonstration using only one decoy state. Firstly, such method avoids the modulation of vacuum state, thus reducing experimental complexity and random number consumption. Moreover, incorporating with low-loss asymmetric Mach-Zehnder interferometers and real-time polarization calibration technique, we have successfully achieved higher signature rate, e.g., 0.98 bit/s at 103 km, and to date a record-breaking transmission distance over 280-km installed fibers. Our work represents a significant step towards real-world applications of QDS.


title: On energy stable, maximum-principle preserving, second order BDF scheme with variable steps for the Allen-Cahn equation

abstract: In this work, we investigate the two-step backward differentiation formula (BDF2) with nonuniform grids for the Allen-Cahn equation. We show that the nonuniform BDF2 scheme is energy stable under the time-step ratio restriction $r_k:=\tau_k/\tau_{k-1}<(3+\sqrt{17})/2\approx3.561.$ Moreover, by developing a novel kernel recombination and complementary technique, we show, for the first time, the discrete maximum principle of BDF2 scheme under the time-step ratio restriction $r_k<1+\sqrt{2}\approx 2.414$ and a practical time step constraint. The second-order rate of convergence in the maximum norm is also presented. Numerical experiments are provided to support the theoretical findings.


title: On isometry groups of pseudo-Riemannian compact Lie groups

abstract: Let $G$ be a connected, simply-connected, compact simple Lie group. In this paper, we show that the isometry group of $G$ with a left-invariant pseudo-Riemannan metric is compact. Furthermore, the identity component of the isometry group is compact if $G$ is not simply-connected.


title: The anatomy of the 2019 Chilean social unrest

abstract: We analyze the 2019 Chilean social unrest episode, consisting of a sequence of events, through the lens of an epidemic-like model that considers global contagious dynamics. We adjust the parameters to the Chilean social unrest aggregated public data available from the Undersecretary of Human Rights, and observe that the number of violent events follows a well-defined pattern already observed in various public disorder episodes in other countries since the sixties. Although the epidemic-like models display a single event that reaches a peak followed by an exponential decay, we add standard perturbation schemes that may produce a rich temporal behavior as observed in the 2019 Chilean social turmoil. Although we only have access to aggregated data, we are still able to fit it to our model quite well, providing interesting insights on social unrest dynamics.


title: A critical analysis of models and experimental evidence of negative capacitance stabilization in a ferroelectric by capacitance matching to an adjacent dielectric layer

abstract: We present a thorough analysis of the foundations of models of stabilization of negative capacitance (NC) in a ferroelectric (FE) layer by capacitance matching to a dielectric layer, which claim that the FE is stabilized in a low polarization state without FE polarization switching (non-switching), showing that the concept is fundamentally flawed and unphysical. We also analyze experimental evidence concluding that there is no data supporting the need to invoke such stabilization; rather, conventional models of ferroelectric polarization switching suffice to account for the effects observed. We analyze experimental evidence that at least in some of the model systems for which this effect has been claimed, categorically rule out stabilized non-switching NC. Microscopic measurements recently published as supporting non-switching stabilized NC actually rule them out, since the ferroelectric in a stack sandwiched between two dielectric layers was found to be in a mixed domain state (high polarizations within each domain) rather than in the low polarization state predicted by non-switching stabilized NC models. Nonetheless, since stabilized NC (corresponding to a minimum in free energy) is not physically impossible, it would be useful to move the research efforts to investigating scenarios and systems in which this effect is possible and expected and assess whether they are useful and practical for low power electronics.


title: Learning When and Where to Zoom with Deep Reinforcement Learning

abstract: While high resolution images contain semantically more useful information than their lower resolution counterparts, processing them is computationally more expensive, and in some applications, e.g. remote sensing, they can be much more expensive to acquire. For these reasons, it is desirable to develop an automatic method to selectively use high resolution data when necessary while maintaining accuracy and reducing acquisition/run-time cost. In this direction, we propose PatchDrop a reinforcement learning approach to dynamically identify when and where to use/acquire high resolution data conditioned on the paired, cheap, low resolution images. We conduct experiments on CIFAR10, CIFAR100, ImageNet and fMoW datasets where we use significantly less high resolution data while maintaining similar accuracy to models which use full high resolution images.


title: Comment on "Unveiling the double-well energy landscape in a ferroelectric layer"

abstract: Analysis of data presented in the paper -- Unveiling the double-well energy landscape in a ferroelectric layer, by M. Hoffmann, et al., Nature 565, 464 (2019) -- suggesting the claims of lack of hysteresis and s-curve trajectory are unfounded.


title: Analysis of Bose-Einstein correlation at 7 TeV by LHCb collaboration based on stochastic approach

abstract: The Bose-Einstein correlation (BEC) in forward region ($2.0<\eta<4.8$) measured at 7 TeV in the Large Hadron Collider (LHC) by the LHCb collaboration is analyzed using two conventional formulas of different types named CF$_{\rm I}$ and CF$_{\rm II}$. The first formula is well known and contains the degree of coherence ($\lambda$) and the exchange function $E_{\rm BE}^2$ from the BE statistics. The second formula is an extended formula (CF$_{\rm II}$) that contains the second degree of coherence $\lambda_2$ and the second exchange function $E_{\rm BE_2}^2$ in addition to CF$_{\rm I}$. To examine the physical meaning of the parameters estimated by CF$_{\rm II}$, we analyze the LHCb BEC data by using a stochastic approach of the three-negative binomial distribution and the three-generalized Glauber-Lachs formula. Our results reveal that the BEC at 7 TeV consisted of three activity intervals defined by the multiplicity $n$ ([8, 18], [19, 35], and [36, 96]) can be well explained by CF$_{\rm II}$.


title: Artificial neural network based chemical mechanisms for computationally efficient modeling of kerosene combustion

abstract: To effectively simulate the combustion of hydrocarbon-fueled supersonic engines, such as rocket-based combined cycle (RBCC) engines, a detailed mechanism for chemistry is usually required but computationally prohibitive. In order to accelerate chemistry calculation, an artificial neural network (ANN) based methodology was introduced in this study. This methodology consists of two different layers: self-organizing map (SOM) and back-propagation neural network (BPNN). The SOM is for clustering the dataset into subsets to reduce the nonlinearity, while the BPNN is for regression for each subset. The entire methodology was subsequently employed to establish a skeleton mechanism of kerosene combustion with 41 species. The training data was generated by RANS simulations of the RBCC combustion chamber, and then fed into the SOM-BPNN with six different topologies (three different SOM topologies and two different BPNN topologies). By comparing the predicted results of six cases with those of the conventional ODE solver, it is found that if the topology is properly designed, high-precision results in terms of ignition, quenching and mass fraction prediction can be achieved. As for efficiency, 8~ 20 times speedup of the chemical system integration was achieved, indicating that it has great potential for application in complex chemical mechanisms for a variety of fuels.


title: Deep Learning for Content-based Personalized Viewport Prediction of 360-Degree VR Videos

abstract: In this paper, the problem of head movement prediction for virtual reality videos is studied. In the considered model, a deep learning network is introduced to leverage position data as well as video frame content to predict future head movement. For optimizing data input into this neural network, data sample rate, reduced data, and long-period prediction length are also explored for this model. Simulation results show that the proposed approach yields 16.1\% improvement in terms of prediction accuracy compared to a baseline approach that relies only on the position data.


title: A Hybrid Stochastic Policy Gradient Algorithm for Reinforcement Learning

abstract: We propose a novel hybrid stochastic policy gradient estimator by combining an unbiased policy gradient estimator, the REINFORCE estimator, with another biased one, an adapted SARAH estimator for policy optimization. The hybrid policy gradient estimator is shown to be biased, but has variance reduced property. Using this estimator, we develop a new Proximal Hybrid Stochastic Policy Gradient Algorithm (ProxHSPGA) to solve a composite policy optimization problem that allows us to handle constraints or regularizers on the policy parameters. We first propose a single-looped algorithm then introduce a more practical restarting variant. We prove that both algorithms can achieve the best-known trajectory complexity $\mathcal{O}\left(\varepsilon^{-3}\right)$ to attain a first-order stationary point for the composite problem which is better than existing REINFORCE/GPOMDP $\mathcal{O}\left(\varepsilon^{-4}\right)$ and SVRPG $\mathcal{O}\left(\varepsilon^{-10/3}\right)$ in the non-composite setting. We evaluate the performance of our algorithm on several well-known examples in reinforcement learning. Numerical results show that our algorithm outperforms two existing methods on these examples. Moreover, the composite settings indeed have some advantages compared to the non-composite ones on certain problems.


title: A Study on Multimodal and Interactive Explanations for Visual Question Answering

abstract: Explainability and interpretability of AI models is an essential factor affecting the safety of AI. While various explainable AI (XAI) approaches aim at mitigating the lack of transparency in deep networks, the evidence of the effectiveness of these approaches in improving usability, trust, and understanding of AI systems are still missing. We evaluate multimodal explanations in the setting of a Visual Question Answering (VQA) task, by asking users to predict the response accuracy of a VQA agent with and without explanations. We use between-subjects and within-subjects experiments to probe explanation effectiveness in terms of improving user prediction accuracy, confidence, and reliance, among other factors. The results indicate that the explanations help improve human prediction accuracy, especially in trials when the VQA system's answer is inaccurate. Furthermore, we introduce active attention, a novel method for evaluating causal attentional effects through intervention by editing attention maps. User explanation ratings are strongly correlated with human prediction accuracy and suggest the efficacy of these explanations in human-machine AI collaboration tasks.


title: Hamming spaces and locally matrix algebras

abstract: We introduce an abstract definition of a Hamming space that generalizes standard Hamming spaces $( \mathbb{Z}/ 2 \mathbb{Z})^n $. We classify countable locally standard Hamming spaces and show that each of them can be realized as the Boolean algebra of idempotents of a Cartan subalgebra of a locally matrix algebra.


title: Fully Asynchronous Policy Evaluation in Distributed Reinforcement Learning over Networks

abstract: This paper proposes a \emph{fully asynchronous} scheme for the policy evaluation problem of distributed reinforcement learning (DisRL) over directed peer-to-peer networks. Without waiting for any other node of the network, each node can locally update its value function at any time by using (possibly delayed) information from its neighbors. This is in sharp contrast to the gossip-based scheme where a pair of nodes concurrently update. Though the fully asynchronous setting involves a difficult multi-timescale decision problem, we design a novel stochastic average gradient (SAG) based distributed algorithm and develop a push-pull augmented graph approach to prove its exact convergence at a linear rate of $\mathcal{O}(c^k)$ where $c\in(0,1)$ and $k$ increases by one no matter on which node updates. Finally, numerical experiments validate that our method speeds up linearly with respect to the number of nodes, and is robust to straggler nodes.


title: STC-Flow: Spatio-temporal Context-aware Optical Flow Estimation

abstract: In this paper, we propose a spatio-temporal contextual network, STC-Flow, for optical flow estimation. Unlike previous optical flow estimation approaches with local pyramid feature extraction and multi-level correlation, we propose a contextual relation exploration architecture by capturing rich long-range dependencies in spatial and temporal dimensions. Specifically, STC-Flow contains three key context modules - pyramidal spatial context module, temporal context correlation module and recurrent residual contextual upsampling module, to build the relationship in each stage of feature extraction, correlation, and flow reconstruction, respectively. Experimental results indicate that the proposed scheme achieves the state-of-the-art performance of two-frame based methods on the Sintel dataset and the KITTI 2012/2015 datasets.


title: Symmetry of the Relativistic Two-Body Bound State

abstract: We show that in a relativistically covariant formulation of the two-body bound state problem, the bound state spectrum is in agreement, up to relativistic corrections, with the non-relativistic bound state spectrum. The solution is achieved by solving the problem with support of the wave function in an O(2,1) invariant submanifold of the Minkowski spacetime. The O(3,1) invariance of the differential equation requires, however, that the solutions provide a representation of O(3,1). Such solutions are obtained by means of the method of induced representations, providing a basic insight into the subject of the symmetries of relativistic dynamics.


title: Characterization of Filippov representable maps and Clarke subdifferentials

abstract: The ordinary differential equation $\dot{x}(t)=f(x(t)), \; t \geq 0 $, for $f$ measurable, is not sufficiently regular to guarantee existence of solutions. To remedy this we may relax the problem by replacing the function $f$ with its Filippov regularization $F_{f}$ and consider the differential inclusion $\dot{x}(t)\in F_{f}(x(t))$ which always has a solution. It is interesting to know, inversely, when a set-valued map $\Phi$ can be obtained as the Filippov regularization of a (single-valued, measurable) function. In this work we give a full characterization of such set-valued maps, hereby called Filippov representable. This characterization also yields an elegant description of those maps that are Clarke subdifferentials of a Lipschitz function.


title: The theory of surface heat capacity and its experimental verification. The scaling of specific heats of diamond lattice materials

abstract: The field (geometrical) theory of specific heat is based on the universal thermal sum, a new mathematical tool derived from the evolution equation in the Euclidean four-dimensional spacetime, with the closed time coordinate. This theory made it possible to study the phenomena of scaling in the heat capacity of condensed matter. The scaling of specific heat of the carbon group elements with a diamond lattice is revisited. The predictions of the scaling characteristics for natural diamond and grey tin are verified with experimental data. The fourth power in temperature in the quasi-low temperature behaviour of the specific heat of both materials is confirmed. The phenomenon of scaling in the specific heat of some zincblend lattice compounds and diamond lattice elements is explored with their characteristic temperatures. The nearly identical elastic properties of grey tin and indium antimonide is the cause for similarity of their thermal properties, which makes it possible to propose conjectures about the thermal properties of grey tin. The derivation of the specific heat of two-dimensional bodies is presented and used to explore the surface heat capacity. The surface specific heat, which is inversely proportional to the effective size of a material body, must always be considered in theory and experiment. The surface contribution in total specific heat, which at sufficiently low temperatures is the cubic in temperature term, is demonstrated to be present in the datasets for powders of grey tin and sodium chloride, and two natural diamonds.


title: Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals

abstract: Like his colleagues de Prony, Petit, and Poisson at the Ecole Polytechnique, Cauchy used infinitesimals in the Leibniz-Euler tradition both in his research and teaching. Cauchy applied infinitesimals in an 1826 work in differential geometry where infinitesimals are used neither as variable quantities nor as sequences but rather as numbers. He also applied infinitesimals in an 1832 article on integral geometry, similarly as numbers. We explore these and other applications of Cauchy's infinitesimals as used in his textbooks and research articles. An attentive reading of Cauchy's work challenges received views on Cauchy's role in the history of analysis and geometry. We demonstrate the viability of Cauchy's infinitesimal techniques in fields as diverse as geometric probability, differential geometry, elasticity, Dirac delta functions, continuity and convergence. Keywords: Cauchy--Crofton formula; center of curvature; continuity; infinitesimals; integral geometry; limite; standard part; de Prony; Poisson


title: Differential Evolution with Individuals Redistribution for Real Parameter Single Objective Optimization

abstract: Differential Evolution (DE) is quite powerful for real parameter single objective optimization. However, the ability of extending or changing search area when falling into a local optimum is still required to be developed in DE for accommodating extremely complicated fitness landscapes with a huge number of local optima. We propose a new flow of DE, termed DE with individuals redistribution, in which a process of individuals redistribution will be called when progress on fitness is low for generations. In such a process, mutation and crossover are standardized, while trial vectors are all kept in selection. Once diversity exceeds a predetermined threshold, our opposition replacement is executed, then algorithm behavior returns to original mode. In our experiments based on two benchmark test suites, we apply individuals redistribution in ten DE algorithms. Versions of the ten DE algorithms based on individuals redistribution are compared with not only original version but also version based on complete restart, where individuals redistribution and complete restart are based on the same entry criterion. Experimental results indicate that, for most of the DE algorithms, version based on individuals redistribution performs better than both original version and version based on complete restart.


title: Randomizing Quantum Walk

abstract: The evolution of a walker in standard "Discrete-time Quantum Walk (DTQW)" is determined by coin and shift unitary operators. The conditional shift operator shifts the position of the walker to right or left by unit step size while the direction of motion is specified by the coin operator. This scenario can be generalized by choosing the step size randomly at each step in some specific interval. For example, the value of the roll of a dice can be used to specify the step size after throwing the coin. Let us call such a quantum walk "Discrete-time Random Step Quantum Walk (DTRSQW)". A completely random probability distribution is obtained whenever the walker follows the DTRSQW. We have also analyzed two more types of quantum walks, the "Discrete-time Un-biased Quantum Walk (DTUBQW)" and the "Discrete-time Biased Quantum Walk (DTBQW)". In the first type, the step size is kept different than unit size but the same for left and right shifts, whereas in the second type left and right shifts can also be different. The probability distribution in DTUBQW is found to follow a certain rule. The standard deviation ($\sigma$) of DTRSQW is higher than DTQW and hence DTRSQW spreads faster. The $\sigma$ of DTUBQW shows sawtooth behavior with faster spread than DTQW for some specific values of rotation angles and steps.


title: A Deep Learning Framework for Hydrogen-fueled Turbulent Combustion Simulation

abstract: The high cost of high-resolution computational fluid/flame dynamics (CFD) has hindered its application in combustion related design, research and optimization. In this study, we propose a new framework for turbulent combustion simulation based on the deep learning approach. An optimized deep convolutional neural network (CNN) inspired from a U-Net architecture and inception module is designed for constructing the framework of the deep learning solver, named CFDNN. CFDNN is then trained on the simulation results of hydrogen combustion in a cavity with different inlet velocities. After training, CFDNN can not only accurately predict the flow and combustion fields within the range of the training set, but also shows an extrapolation ability for prediction outside the training set. The results from CFDNN solver show excellent consistency with the conventional CFD results in terms of both predicted spatial distributions and temporal dynamics. Meanwhile, two orders of magnitude of acceleration is achieved by using CFDNN solver compared to the conventional CFD solver. The successful development of such a deep learning-based solver opens up new possibilities of low-cost, high-accuracy simulations, fast prototyping, design optimization and real-time control of combustion systems such as gas turbines and scramjets.


title: New Constructions related to the Polynomial Sphere Recognition Problem

abstract: We construct a simply connected $2-$complex $C$ embeddable in $3-$space such that for any embedding of $C$ in $\mathbb S^3$, any edge contraction forms a minor of the $2-$complex not embeddable in $3-$space. We achieve this by proving that every edge of $C$ forms a nontrivial knot in any of the embeddings of $C$ in $\mathbb S^3$.


title: Environment-agnostic Multitask Learning for Natural Language Grounded Navigation

abstract: Recent research efforts enable study for natural language grounded navigation in photo-realistic environments, e.g., following natural language instructions or dialog. However, existing methods tend to overfit training data in seen environments and fail to generalize well in previously unseen environments. To close the gap between seen and unseen environments, we aim at learning a generalized navigation model from two novel perspectives: (1) we introduce a multitask navigation model that can be seamlessly trained on both Vision-Language Navigation (VLN) and Navigation from Dialog History (NDH) tasks, which benefits from richer natural language guidance and effectively transfers knowledge across tasks; (2) we propose to learn environment-agnostic representations for the navigation policy that are invariant among the environments seen during training, thus generalizing better on unseen environments. Extensive experiments show that environment-agnostic multitask learning significantly reduces the performance gap between seen and unseen environments, and the navigation agent trained so outperforms baselines on unseen environments by 16% (relative measure on success rate) on VLN and 120% (goal progress) on NDH. Our submission to the CVDN leaderboard establishes a new state-of-the-art for the NDH task on the holdout test set. Code is available at https://github.com/google-research/valan.


title: Flat limit of the de Sitter QFT in the rest frame vacuum

abstract: The problem of the flat limits of the scalar and spinor fields on the de Sitter expanding universe is considered in the rest frame vacuum where the frequencies are separated in rest frames as in special relativity. The phases of the fundamental solutions of these fields are regularized in order to obtain Minkowskian flat limits. New expressions of scalar mode functions or Dirac spinors reaching natural flat limits are given in the rest frame vacuum and suitable approximate formulas are proposed. In this manner the flat limit is correctly defined for the entire quantum theory since the one-particle operators tend to those of special relativity.


title: On the dynamics of a free vortex pair in the presence of a fixed vortex

abstract: The dynamics of a constrained three-vortex problem, a free point vortex pair in the velocity field of a fixed point vortex, is investigated. The underlying dynamical system is simplified using a coordinate transformation and categorized into two cases based on the zero and non-zero values of the constant of angular impulse. For each case, dynamical features of the vortex motion are studied analytically in the transformed plane, in order to completely classify the vortex motions and to understand the boundedness and periodicity of the inter-vortex distances. The theoretical predictions are also verified numerically and illustrated for various sets of initial conditions and circulations.


title: A hierarchy of reduced models to approximate Vlasov-Maxwell equations for slow time variations

abstract: We introduce a new family of paraxial asymptotic models that approximate the Vlasov-Maxwell equations in non-relativistic cases. This formulation is $n$-th order accurate in a parameter $\eta$, which denotes the ratio between the characteristic velocity of the beam and the speed of light. This family of models is interesting, first because it is simpler than the complete Vlasov-Maxwell equation, then because it allows us to choose the model complexity according to the expected accuracy.


title: Longitudinal Evaluation of Open-Source Software Maintainability

abstract: We present a longitudinal study on the long-term evolution of maintainability in open-source software. Quality assessment remains at the forefront of both software research and practice, with many models and assessment methodologies proposed and used over time. Some of them helped create and shape standards such as ISO 9126 and 25010, which are well established today. Both describe software quality in terms of characteristics such as reliability, security or maintainability. An important body of research exists linking these characteristics with software metrics, and proposing ways to automate quality assessment by aggregating software metric values into higher-level quality models. We employ the Maintainability Index, technical debt ratio and a maintainability model based on the ARiSA Compendium. Our study covers the entire 18 year development history and all released versions for three complex, open-source applications. We determine the maintainability for each version using the proposed models, we compare obtained results and use manual source code examination to put them into context. We examine the common development patterns of the target applications and study the relation between refactoring and maintainability. Finally, we study the strengths and weaknesses of each maintainability model using manual source code examination as the baseline.


title: Some topological properties of topological rough groups

abstract: Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A topological rough group $G$ is a rough group $G=(\underline{G}, \overline{G})$ endowed with a topology, which is induced from the upper approximation space $\overline{G}$, such that the product mapping $f: G\times G\rightarrow \overline{G}$ and the inverse mapping are continuous. In the class of topological rough groups, the relations of some separation axioms are obtained, some basic properties of the neighborhoods of the rough identity element and topological rough subgroups are investigated. In particular, some examples of topological rough groups are provided to clarify some facts about topological rough groups. Moreover, the version of open mapping theorem in the class of topological rough group is obtained. Further, some interesting open questions are posed.


title: Least-squares for linear elasticity eigenvalue problem

abstract: We study the approximation of the spectrum of least-squares operators arising from linear elasticity. We consider a two-field (stress/displacement) and a three-field (stress/displacement/vorticity) formulation; other formulations might be analyzed with similar techniques. We prove a priori estimates and we confirm the theoretical results with simple two-dimensional numerical experiments.


title: Are latest detected events of gravitational waves in favor of some models of inflation based on string theory?

abstract: The general potential of power-law inflation is as $ V(\phi)\propto \phi^{n} $ with scalar field $\phi$. The behavior of inflation is often known as power-law expansion like $S(\eta)\propto \eta^{1+\beta}$ with $1+\beta<0$. In this paper, the theoretical spectra of relic gravitational waves are compared with the measured strain sensitivity of Advanced LIGO and VIRGO, corresponding to the latest detected events of gravitational waves. The results show tight constraints on $\beta$ and $n$. Also, the obtained constraints indicate that special types of the potential of inflation, prototype, and KKLTI models, which are originated from string theory, are more suitable than other models. Our analysis shows that there exist some more chances for the detection of relic gravitational waves.


title: Weak Texture Information Map Guided Image Super-resolution with Deep Residual Networks

abstract: Single image super-resolution (SISR) is an image processing task which obtains high-resolution (HR) image from a low-resolution (LR) image. Recently, due to the capability in feature extraction, a series of deep learning methods have brought important crucial improvement for SISR. However, we observe that no matter how deeper the networks are designed, they usually do not have good generalization ability, which leads to the fact that almost all of existing SR methods have poor performances on restoration of the weak texture details. To solve these problems, we propose a weak texture information map guided image super-resolution with deep residual networks. It contains three sub-networks, one main network which extracts the main features and fuses weak texture details, another two auxiliary networks extract the weak texture details fallen in the main network. Two part of networks work cooperatively, the auxiliary networks predict and integrates week texture information into the main network, which is conducive to the main network learning more inconspicuous details. Experiments results demonstrate that our method's performs achieve the state-of-the-art quantitatively. Specifically, the image super-resolution results of our method own more weak texture details.


title: Large Magnetoresistance in Topological Insulator Candidate TaSe3

abstract: Large unsaturated magnetoresistance (XMR) with magnitude about 1000% is observed in topological insulator candidate TaSe3 from our high field (up to 38 T) measurements. Two oscillation modes, associated with one hole pocket and two electron pockets in the bulk, respectively, are detected from our Shubnikov-de Hass (SdH) measurements, consistent with our first-principles calculations. With the detailed Hall measurements performed, our two-band model analysis exhibits an imperfect density ratio n_h/n_e closing 0.9 at T< 20 K , which suggests that the carrier compensations account for the XMR in TaSe3.


title: Physical conditions in two high-redshift H$_2$-bearing GRB-DLAs, 120815A and 121024A

abstract: The gamma-ray burst (GRB) afterglows provide an unique opportunity to study the interstellar medium (ISM) of star-forming galaxies at high-redshift. The GRB-DLAs (damped Lyman-$\alpha$ absorbers) contain a large neutral hydrogen column density, N(H I), and are observed against the GRB afterglow. A large fraction of GRB-DLAs show presence of molecular hydrogen (H$_2$) which is an indicator of star-formation. Hence it is important to study those GRB-DLAs which have H$_2$ lines to decipher and understand their physical conditions. The GRB-DLAs 121024A and 120815A, situated at redshift 2.30 and 2.36 respectively, are two such important H$_2$-bearing GRB-DLAs. Besides H$_2$, these two GRB-DLAs also show many metal lines. In this work we have carried out a detail numerical study on the H$_2$ lines, as well as on those metal lines, in GRB-DLAs 121024A and 120815A self-consistently. We use the spectral synthesis code CLOUDY for this study. This modeling helps us to determine the underlying physical conditions which give rise such lines and hence to understand these two GRB-DLAs in much more detail than any other previous investigation. We find that the hydrogen densities for these two H$_2$-bearing DLAs are $\geq$ 60 cm$^{-3}$. Moreover our study infers that the linear sizes are $\leq 17.7$ pc for these two GRB-DLAs, and the mean gas temperatures averaged over the cloud thickness, are $\leq$ 140 K.


title: Maximum Absolute Determinants of Upper Hessenberg Bohemian Matrices

abstract: A matrix is called Bohemian if its entries are sampled from a finite set of integers. We determine the maximum absolute determinant of upper Hessenberg Bohemian Matrices for which the subdiagonal entries are fixed to be $1$ and upper triangular entries are sampled from $\{0,1,\cdots,n\}$, extending previous results for $n=1$ and $n=2$ and proving a recent conjecture of Fasi & Negri Porzio [8]. Furthermore, we generalize the problem to non-integer-valued entries.


title: Foundations of Finsler spacetimes from the Observers' Viewpoint

abstract: Physical foundations for relativistic spacetimes are revisited, in order to check at what extent Finsler spacetimes lie in their framework. Arguments based on inertial observers (as in the foundations of Special Relativity and Classical Mechanics) are shown to correspond with a double linear approximation in the measurement of space and time. While General Relativity appears by dropping the first linearization, Finsler spacetimes appear by dropping the second one. The classical Ehlers-Pirani-Schild approach is carefully discussed and shown to be compatible with the Lorentz-Finsler case. The precise mathematical definition of Finsler spacetime is discussed by using the {\em space of observers}. Special care is taken in some issues such as: the fact that a Lorentz-Finsler metric would be physically measurable only on the causal directions for a cone structure, the implications for models of spacetimes of some apparently innocuous hypotheses on differentiability, or the possibilities of measurement of a varying speed of light.


title: A Study of Geometry in Anisotropic Quantum Hall States by Principal Component Analysis

abstract: In the presence of mass anisotropy, anisotropic interaction, or in-plane magnetic field, quantum Hall droplets can exhibit shape deformation and internal geometrical degree of freedom. We characterize the geometry of quantum Hall states by principal component analysis, which is a statistical technique that emphasizes variation in a dataset. We first test the method in an integer quantum Hall droplet with dipole-dipole interaction in disk geometry. In the subsequent application to fractional quantum Hall systems with anisotropic Coulomb interaction in torus geometry, we demonstrate that the principal component analysis can quantify the metric degree of freedom and predict the collapse of a $\nu= 1/3$ state. We also calculate the metric response to interaction anisotropy at filling fractions $\nu= 1/5$ and $2/5$ and show that the response is roughly the same within the same Jain sequence, but can differ at large anisotropy for different sequences.


title: Non-iterative One-step Solution for Point Set Registration Problem on Pose Estimation without Correspondence

abstract: In this work, we propose to directly find the one-step solution for the point set registration problem without correspondences. Inspired by the Kernel Correlation method, we consider the fully connected objective function between two point sets, thus avoiding the computation of correspondences. By utilizing least square minimization, the transformed objective function is directly solved with existing well-known closed-form solutions, e.g., singular value decomposition, that is usually used for given correspondences. However, using equal weights of costs for each connection will degenerate the solution due to the large influence of distant pairs. Thus, we additionally set a scale on each term to avoid high costs on non-important pairs. As in feature-based registration methods, the similarity between descriptors of points determines the scaling weight. Given the weights, we get a one step solution. As the runtime is in $\mathcal O (n^2)$, we also propose a variant with keypoints that strongly reduces the cost. The experiments show that the proposed method gives a one-step solution without an initial guess. Our method exhibits competitive outlier robustness and accuracy, compared to various other methods, and it is more stable in case of large rotations. Additionally, our one-step solution achieves a performance on-par with the state-of-the-art feature based method TEASER.


title: New insights into thermodynamics and microstructure of AdS black holes

abstract: Recently, black hole thermodynamics and phase transition have been studied in the extended phase space. Besides the VdW-like phase transition, more interesting phase transitions were found. More interestingly, combining with the thermodynamic geometry, the microstructure of black holes was investigated.In this paper, we give a brief review of recent progress on this subject.


title: A BeiDou Signal Acquisition Approach Using Variable Length Data Accumulation based on Signal Delay and Multiplication

abstract: The secondary modulation with the NeumannHoffman code increases the possibility of bit sign transition. Unlike other GNSS signals, there is no pilot component for synchronization in BeiDou B1/B3 signals, which increases the complexity in acquisition. A previous study has shown that the delay and multiplication (DAM) method is able to eliminate the bit sign transition problem, but it only applies to pretty strong signals. In this paper, a DAM-based BeiDou signal acquisition approach, called variable length data accumulation (VLDA), is proposed to acquire weak satellite signals. Firstly, the performance of DAM method versus the different delays is analyzed. The DAM operation not only eliminates bit sign transition, but it also increases noise power. Secondly, long-term signal is periodically accumulated to improve signal intensity in order to acquire weak signals. While considering the Doppler frequency shift of ranging codes, the signal length must be compensated before accumulating long-term signal. Finally, the fast-Fourier-transform based parallel code phase algorithm are used for acquisition. The simulation results indicate that the proposed VLDA method has better acquisition sensitivity than traditional non-coherent integration method under the same calculation amount. The VLDA method only requires approximately 27.5% of calculations to achieve the same acquisition sensitivity (35 dBHz). What is more, the actual experimental results verify the feasibility of the VLDA method. It can be concluded that the proposed approach is an effective and feasible method for solving the bit sign transition problem.


title: Necessary and sufficient condition for the reduced dynamics of an open quantum system interacting with an environment to be linear

abstract: The dynamics of a closed quantum system, under a unitary time evolution $U$, is, obviously, linear. But, the reduced dynamics of an open quantum system $S$, interacting with an environment $E$, is not linear, in general. Dominy et al. [Quant. Inf. Process. 15, 465 (2016)] considered the case that the set $\mathcal{S}=\lbrace\rho_{SE}\rbrace$, of possible initial states of the system-environment, is convex and, also, possesses another property, which they called $U$-consistency. They have shown that, under such circumstances, the reduced dynamics of the system $S$ is linear. Whether the Dominy-Shabani-Lidar framework is the most general one is the subject of this paper. We assume that the reduced dynamics is linear and show that this leads us to their framework. In other words, the reduced dynamics of the system is linear if and only if it can be formulated within the Dominy-Shabani-Lidar framework.


title: Parametric study of the seismic response of a hill or mountain

abstract: The problem of the response of a cylindrical protuberance of rectangular shape to a SH seismic plane wave is studied in parametric manner so as to provide answers to the questions: (i) where and how should one measure this response, (ii) is the normal-incidence response a valid indication of response at other incident angles of the seismic plane wave, iii) is it possible to predict the maximal response without a detailed knowledge of the subsurface composition, iv) how does the aspect ratio of the protuberance affect the resonant response, and v) is the resonant wavefield uniformly distributed in the interior of the protuberance?


title: Admissible homomorphisms and equivariant relations between weighted projective lines

abstract: The string group acts on the category of coherent sheaves over a weighted projective line by degree-shift actions. We study the equivariant equivalence relations induced by degree-shift actions between weighted projective lines. We prove that such an equivariant equivalence is characterized by an admissible homomorphism between the associated string groups. We classify all these equivariant equivalences for the weighted projective lines of domestic and tubular types.


title: Experience in engineering of scientific software: The case of an optimization software for oil pipelines

abstract: Development of scientific and engineering software is usually different and could be more challenging than the development of conventional enterprise software. The authors were involved in a technology-transfer project between academia and industry which focused on engineering, development and testing of a software for optimization of pumping energy costs for oil pipelines. Experts with different skillsets (mechanical, power and software engineers) were involved. Given the complex nature of the software (a sophisticated underlying optimization model) and having experts from different fields, there were challenges in various software engineering aspects of the software system (e.g., requirements and testing). We report our observations and experience in addressing those challenges during our technology-transfer project, and aim to add to the existing body of experience and evidence in engineering of scientific and engineering software. We believe that our observations, experience and lessons learnt could be useful for other researchers and practitioners in engineering of other scientific and engineering software systems.


title: Polarization transfer to bound protons measured by quasi-elastic electron scattering on $^{12}$C

abstract: We report the measurements of the transverse ($P'x$) and longitudinal ($P'z$) components of the polarization transfer to a bound proton in carbon via the quasi-free $^{12}{\rm C}(\vec e,e'\vec p)$ reaction, over a wide range of missing momenta. We determine these polarization-transfers separately for protons knocked out from the $s$- and $p$-shells. The electron-beam polarization was measured to determine the individual components with systematic uncertainties which allow a detailed comparison with theoretical calculations.


title: HPC as a Service: A naive model

abstract: Applications like Big Data, Machine Learning, Deep Learning and even other Engineering and Scientific research requires a lot of computing power; making High-Performance Computing (HPC) an important field. But access to Supercomputers is out of range from the majority. Nowadays Supercomputers are actually clusters of computers usually made-up of commodity hardware. Such clusters are called Beowulf Clusters. The history of which goes back to 1994 when NASA built a Supercomputer by creating a cluster of commodity hardware. In recent times a lot of effort has been done in making HPC Clusters of even single board computers (SBCs). Although the creation of clusters of commodity hardware is possible but is a cumbersome task. Moreover, the maintenance of such systems is also difficult and requires special expertise and time. The concept of cloud is to provide on-demand resources that can be services, platform or even infrastructure and this is done by sharing a big resource pool. Cloud computing has resolved problems like maintenance of hardware and requirement of having expertise in networking etc. An effort is made of bringing concepts from cloud computing to HPC in order to get benefits of cloud. The main target is to create a system which can develop a capability of providing computing power as a service which to further be referred to as Supercomputer as a service. A prototype was made using Raspberry Pi (RPi) 3B and 3B+ Single Board Computers. The reason for using RPi boards was increasing popularity of ARM processors in the field of HPC


title: Non-Hermitian Multimode Interference

abstract: Multi-mode interference (MMI) and self-imaging are important phenomena of diffractive wave optics with major applications in optical signal processing, beam shaping and optical sensing. Such phenomena generally arise from interference of normal modes in lossless dielectric guiding structures, however the impact of spatially-inhomogeneous optical gain and loss, which break mode orthogonality and symmetries, has been overlooked. Here we consider MMI in non-Hermitian optical systems, either graded index or coupled optical waveguide structures with optical gain and loss, and reveal distinctive features, such as the absence of mirror images and strong-sensitivity of self-imaging to perturbations, making MMI in non-Hermitian waveguides of interest in optical sensing.


title: NeuroTac: A Neuromorphic Optical Tactile Sensor applied to Texture Recognition

abstract: Developing artificial tactile sensing capabilities that rival human touch is a long-term goal in robotics and prosthetics. Gradually more elaborate biomimetic tactile sensors are being developed and applied to grasping and manipulation tasks to help achieve this goal. Here we present the neuroTac, a novel neuromorphic optical tactile sensor. The neuroTac combines the biomimetic hardware design from the TacTip sensor which mimicks the layered papillae structure of human glabrous skin, with an event-based camera (DAVIS240, iniVation) and algorithms which transduce contact information in the form of spike trains. The performance of the sensor is evaluated on a texture classification task, with four spike coding methods being implemented and compared: Intensive, Spatial, Temporal and Spatiotemporal. We found timing-based coding methods performed with the highest accuracy over both artificial and natural textures. The spike-based output of the neuroTac could enable the development of biomimetic tactile perception algorithms in robotics as well as non-invasive and invasive haptic feedback methods in prosthetics.


title: Distributed Testing of Graph Isomorphism in the CONGEST model

abstract: In this paper we study the problem of testing graph isomorphism (GI) in the CONGEST distributed model. In this setting we test whether the distributive network, $G_U$, is isomorphic to $G_K$ which is given as an input to all the nodes in the network, or alternatively, only to a single node. We first consider the decision variant of the problem in which the algorithm distinguishes $G_U$ and $G_K$ which are isomorphic from $G_U$ and $G_K$ which are not isomorphic. We provide a randomized algorithm with $O(n)$ rounds for the setting in which $G_K$ is given only to a single node. We prove that for this setting the number of rounds of any deterministic algorithm is $\tilde{\Omega}(n^2)$ rounds, where $n$ denotes the number of nodes, which implies a separation between the randomized and the deterministic complexities of deciding GI. We then consider the \emph{property testing} variant of the problem, where the algorithm is only required to distinguish the case that $G_U$ and $G_K$ are isomorphic from the case that $G_U$ and $G_K$ are \emph{far} from being isomorphic (according to some predetermined distance measure). We show that every algorithm requires $\Omega(D)$ rounds, where $D$ denotes the diameter of the network. This lower bound holds even if all the nodes are given $G_K$ as an input, and even if the message size is unbounded. We provide a randomized algorithm with an almost matching round complexity of $O(D+(\epsilon^{-1}\log n)^2)$ rounds that is suitable for dense graphs. We also show that with the same number of rounds it is possible that each node outputs its mapping according to a bijection which is an \emph{approximated} isomorphism. We conclude with simple simulation arguments that allow us to obtain essentially tight algorithms with round complexity $\tilde{O}(D)$ for special families of sparse graphs.


title: On the local doubling $\gamma$-factor for classical groups over function fields

abstract: In this paper, we give a precise definition of an analytic $\gamma$-factor of an irreducible representation of a classical group over a local function field of odd characteristic so that it satisfies some notable properties which are enough to define it uniquely. We use the doubling method to define the $\gamma$-factor, and the main theorem extends works of Lapid-Rallis, Gan, Yamana, and the author to a classical group over a local function field of odd characteristic.


title: Dimensionality reduction to maximize prediction generalization capability

abstract: Generalization of time series prediction remains an important open issue in machine learning, wherein earlier methods have either large generalization error or local minima. We develop an analytically solvable, unsupervised learning scheme that extracts the most informative components for predicting future inputs, termed predictive principal component analysis (PredPCA). Our scheme can effectively remove unpredictable noise and minimize test prediction error through convex optimization. Mathematical analyses demonstrate that, provided with sufficient training samples and sufficiently high-dimensional observations, PredPCA can asymptotically identify hidden states, system parameters, and dimensionalities of canonical nonlinear generative processes, with a global convergence guarantee. We demonstrate the performance of PredPCA using sequential visual inputs comprising hand-digits, rotating 3D objects, and natural scenes. It reliably estimates distinct hidden states and predicts future outcomes of previously unseen test input data, based exclusively on noisy observations. The simple architecture and low computational cost of PredPCA are highly desirable for neuromorphic hardware.


title: First-principles-derived effective mass approximation for the improved description of quantum nanostructures

abstract: The effective mass approximation (EMA) could be an efficient method for the computational study of semiconductor nanostructures with sizes too large to be handled by first-principles calculations, but the scheme to accurately and reliably introduce EMA parameters for given nanostructures remains to be devised. Herein, we report on an EMA approach based on first-principles-derived data, which enables accurate predictions of the optoelectronic properties of quantum nanostructures. For the CdS/ZnS core/shell quantum rods, for which we recently reported its experimental synthesis, we first carry out density functional theory (DFT) calculations for an infinite nanowire to obtain the nanoscopic dielectric constant, effective mass, and Kohn-Sham potential. The DFT-derived data are then transferred to the finite nanorod cases to set up the EMA equations, from which we estimate the photoluminescence (PL) characteristics. Compared with the corresponding method based on bulk EMA parameters and abrupt potential, we confirm that our EMA approach more accurately describes the PL properties of nanorods. We find that, in agreement with the experimentally observed trends, the optical gap of nanorods is roughly determined by the nanorod diameter and the PL intensity is reduced with increasing the nanorod length. The developed methodology is additionally applied to CdSe nanoplatelets, where reliable experimental data became recently available. Here, we again obtain excellent agreements between calculated and measured optical gap values, confirming the generality of our approach. It is finally shown that the abrupt confinement potential approximation most adversely affects the accuracy of EMA simulations.


title: Optimal Oscillation Damping Control of cable-Suspended Aerial Manipulator with a Single IMU Sensor

abstract: This paper presents a design of oscillation damping control for the cable-Suspended Aerial Manipulator (SAM). The SAM is modeled as a double pendulum, and it can generate a body wrench as a control action. The main challenge is the fact that there is only one onboard IMU sensor which does not provide full information on the system state. To overcome this difficulty, we design a controller motivated by a simplified SAM model. The proposed controller is very simple yet robust to model uncertainties. Moreover, we propose a gain tuning rule by formulating the proposed controller in the form of output feedback linear quadratic regulation problem. Consequently, it is possible to quickly dampen oscillations with minimal energy consumption. The proposed approach is validated through simulations and experiments.


title: Process algebra, process scheduling, and mutual exclusion

abstract: In the case of multi-threading as found in contemporary programming languages, parallel processes are interleaved according to what is known as a process-scheduling policy in the field of operating systems. In a previous paper, we extend ACP with this form of interleaving. In the current paper, we do so with the variant of ACP known as ACP$_\epsilon$. The choice of ACP$_\epsilon$ stems from the need to cover more process-scheduling policies. We show that a process-scheduling policy supporting mutual exclusion of critical subprocesses is now covered.


title: Scalable Learning Paradigms for Data-Driven Wireless Communication

abstract: The marriage of wireless big data and machine learning techniques revolutionizes the wireless system by the data-driven philosophy. However, the ever exploding data volume and model complexity will limit centralized solutions to learn and respond within a reasonable time. Therefore, scalability becomes a critical issue to be solved. In this article, we aim to provide a systematic discussion on the building blocks of scalable data-driven wireless networks. On one hand, we discuss the forward-looking architecture and computing framework of scalable data-driven systems from a global perspective. On the other hand, we discuss the learning algorithms and model training strategies performed at each individual node from a local perspective. We also highlight several promising research directions in the context of scalable data-driven wireless communications to inspire future research.


title: GPM: A Generic Probabilistic Model to Recover Annotator's Behavior and Ground Truth Labeling

abstract: In the big data era, data labeling can be obtained through crowdsourcing. Nevertheless, the obtained labels are generally noisy, unreliable or even adversarial. In this paper, we propose a probabilistic graphical annotation model to infer the underlying ground truth and annotator's behavior. To accommodate both discrete and continuous application scenarios (e.g., classifying scenes vs. rating videos on a Likert scale), the underlying ground truth is considered following a distribution rather than a single value. In this way, the reliable but potentially divergent opinions from "good" annotators can be recovered. The proposed model is able to identify whether an annotator has worked diligently towards the task during the labeling procedure, which could be used for further selection of qualified annotators. Our model has been tested on both simulated data and real-world data, where it always shows superior performance than the other state-of-the-art models in terms of accuracy and robustness.


title: 1D CNN Based Network Intrusion Detection with Normalization on Imbalanced Data

abstract: Intrusion detection system (IDS) plays an essential role in computer networks protecting computing resources and data from outside attacks. Recent IDS faces challenges improving flexibility and efficiency of the IDS for unexpected and unpredictable attacks. Deep neural network (DNN) is considered popularly for complex systems to abstract features and learn as a machine learning technique. In this paper, we propose a deep learning approach for developing the efficient and flexible IDS using one-dimensional Convolutional Neural Network (1D-CNN). Two-dimensional CNN methods have shown remarkable performance in detecting objects of images in computer vision area. Meanwhile, the 1D-CNN can be used for supervised learning on time-series data. We establish a machine learning model based on the 1D-CNN by serializing Transmission Control Protocol/Internet Protocol (TCP/IP) packets in a predetermined time range as an invasion Internet traffic model for the IDS, where normal and abnormal network traffics are categorized and labeled for supervised learning in the 1D-CNN. We evaluated our model on UNSW\_NB15 IDS dataset to show the effectiveness of our method. For comparison study in performance, machine learning-based Random Forest (RF) and Support Vector Machine (SVM) models in addition to the 1D-CNN with various network parameters and architecture are exploited. In each experiment, the models are run up to 200 epochs with a learning rate in 0.0001 on imbalanced and balanced data. 1D-CNN and its variant architectures have outperformed compared to the classical machine learning classifiers. This is mainly due to the reason that CNN has the capability to extract high-level feature representations that represent the abstract form of low-level feature sets of network traffic connections.


title: Shadow and Quasinormal Modes of a Rotating Loop Quantum Black Hole

abstract: In this paper, we construct an effective rotating loop quantum black hole (LQBH) solution, starting from the spherical symmetric LQBH by applying the Newman-Janis algorithm modified by Azreg-A\"{i}nou's non-complexification procedure, and study the effects of loop quantum gravity { (LQG) on its shadow}. Given the rotating {LQBH}, we discuss its horizon, ergosurface, and regularity {as} $r \to 0$. Depending on the values of the specific angular momentum $a$ and the polymeric function $P$ arising from {LQG}, we {find} that the rotating solution we obtained can represent a regular black hole, a regular extreme black hole, or a regular spacetime {without horizon (a non-black-hole solution)}. We also {study} the effects of {LQG} and rotation, and {show} that, in addition to the specific angular momentum, the polymeric function {also} causes deformations in the size and shape of the black hole shadow. Interestingly, for a given value of $a$ and inclination angle $\theta_0$, the apparent size of the shadow monotonically decreases, and the shadow gets more distorted with increasing $P$. We also {consider the effects of $P$ on the deviations from the circularity of the shadow, and find} that the deviation from circularity increases with increasing $P$ for fixed values of $a$ and $\theta_0$. Additionally, we explore the observational implications of $P$ in comparison with the latest Event Horizon Telescope (EHT) observation of the supermassive black hole, M$87$. The connection between the shadow radius and quasinormal modes in the eikonal limit as well as {the} deflection of massive particles are also considered.


title: Anti-Windup Approximations of Oblique Projected Dynamics for Feedback-based Optimization

abstract: In this paper we study how high-gain anti-windup schemes can be used to implement projected dynamical systems in control loops that are subject to saturation on a (possibly unknown) set of admissible inputs. This insight is especially useful for the design of autonomous optimization schemes that realize a closed-loop behavior which approximates a particular optimization algorithm (e.g., projected gradient or Newton descent) while requiring only limited model information. In our analysis we show that a saturated integral controller, augmented with an anti-windup scheme, gives rise to a perturbed projected dynamical system. This insight allows us to show uniform convergence and robust practical stability as the anti-windup gain goes to infinity. Moreover, for a special case encountered in autonomous optimization we show robust convergence, i.e., convergence to an optimal steady-state for finite gains. Apart from being particularly suited for online optimization of large-scale systems, such as power grids, these results are potentially useful for other control and optimization applications as they shed a new light on both anti-windup control and projected gradient systems.


title: The Lp-Lq problems of Bergman-type operators

abstract: Let $\mathbb{B}^d$ be the unit ball on the complex space $\mathbb{C}^d$ with normalized Lebesgue measure $dv.$ For $\alpha\in\mathbb{R},$ denote $k_\alpha(z,w)=\frac{1}{(1-\langle z,w\rangle)^\alpha},$ the Bergman-type integral operator $K_\alpha$ on $L^1(\mathbb{B}^d,dv)$ is defined by $$ K_\alpha f(z)=\int_{\mathbb{B}^d}k_\alpha(z,w)f(w)dv(w).$$ It is an important class of operators in the holomorphic function space theory over the unit ball. We also consider the integral operator $K_\alpha^+$ on $L^1(\mathbb{B}^d,dv)$ which is given by $$ K_\alpha^+ f(z)=\int_{\mathbb{B}^d}\vert k_\alpha(z,w)\vert f(w)dv(w).$$ In this paper, we completely characterize the $L^p$-$L^q$ boundedness of $K_\alpha,K_\alpha^+$ and $L^p$-$L^q$ compactness of $K_\alpha.$ The results of boundedness are in fact the Hardy-Littlewood-Sobolev theorem but also prove the conjecture of G. Cheng et al [Trans. Amer. Math. Soc. (2017), MR3710638 ] in the case of bounded domain $\mathbb{B}^d.$ Meanwhile, a trace formula and some sharp norm estimates of $K_\alpha,K_\alpha^+$ are given.


title: A direct link between unflavored leptogenesis and low-energy CP violation via the one-loop quantum corrections

abstract: In the type-I seesaw mechanism the Casas-Ibarra (CI) parametrization provides a convenient description of the Dirac neutrino mass matrix in terms of the light and heavy Majorana neutrino masses, the lepton flavor mixing matrix $U$ and an unknown complex orthogonal matrix $O$. If $O$ is assumed to be real, it will be impossible to generate {\it unflavored} thermal leptogenesis via the lepton-number-violating and CP-violating decays of the lightest heavy Majorana neutrino. We find that this observation can be invalidated after small but unavoidable quantum corrections to the CI parametrization are taken into account with the help of the one-loop renormalization-group equations (RGEs) between the seesaw and electroweak scales. We illustrate a novel and viable unflavored leptogenesis scenario of this kind based on the RGEs in the seesaw-extended standard model, and show its direct link to the CP-violating phases of $U$ at low energies.


title: Backward magnetostatic surface spin waves in exchange coupled Co/FeNi bilayers

abstract: Propagation of backward magnetostatic surface spin waves (SWs) in exchange coupled Co/FeNi bilayers are studied by using Brillouin light scattering (BLS) technique. Two types of SWs modes were identified in our BLS measurements. They are magnetostatic surface waves (MSSWs) mode and perpendicular standing spin waves (PSSWs) mode. The dispersion relations of MSSWs obtained from the Stokes and Anti-Stokes measurements display respectively positive and negative group velocities. The Anti-Stokes branch with positive phase velocities and negative group velocities, known as backward magnetostatic surface mode originates from the magnetostatic interaction of the bilayer. The experimental data are in good agreement with the theoretical calculations. Our results are useful for understanding the SWs propagation and miniaturizing SWs storage devices.


title: State-Aware Tracker for Real-Time Video Object Segmentation

abstract: In this work, we address the task of semi-supervised video object segmentation(VOS) and explore how to make efficient use of video property to tackle the challenge of semi-supervision. We propose a novel pipeline called State-Aware Tracker(SAT), which can produce accurate segmentation results with real-time speed. For higher efficiency, SAT takes advantage of the inter-frame consistency and deals with each target object as a tracklet. For more stable and robust performance over video sequences, SAT gets awareness for each state and makes self-adaptation via two feedback loops. One loop assists SAT in generating more stable tracklets. The other loop helps to construct a more robust and holistic target representation. SAT achieves a promising result of 72.3% J&F mean with 39 FPS on DAVIS2017-Val dataset, which shows a decent trade-off between efficiency and accuracy. Code will be released at github.com/MegviiDetection/video_analyst.


title: Optimal codes with small constant weight in $\ell_1$-metric

abstract: Motivated by the duplication-correcting problem for data storage in live DNA, we study the construction of constant-weight codes in $\ell_1$-metric. By using packings and group divisible designs in combinatorial design theory, we give constructions of optimal codes over non-negative integers and optimal ternary codes with $\ell_1$-weight $w\leq 4$ for all possible distances. In general, we derive the size of the largest ternary code with constant weight $w$ and distance $2w-2$ for sufficiently large length $n$ satisfying $n\equiv 1,w,-w+2,-2w+3\pmod{w(w-1)}$.


title: An Information-Theoretic Approach to Personalized Explainable Machine Learning

abstract: Automated decision making is used routinely throughout our everyday life. Recommender systems decide which jobs, movies, or other user profiles might be interesting to us. Spell checkers help us to make good use of language. Fraud detection systems decide if a credit card transactions should be verified more closely. Many of these decision making systems use machine learning methods that fit complex models to massive datasets. The successful deployment of machine learning (ML) methods to many (critical) application domains crucially depends on its explainability. Indeed, humans have a strong desire to get explanations that resolve the uncertainty about experienced phenomena like the predictions and decisions obtained from ML methods. Explainable ML is challenging since explanations must be tailored (personalized) to individual users with varying backgrounds. Some users might have received university-level education in ML, while other users might have no formal training in linear algebra. Linear regression with few features might be perfectly interpretable for the first group but might be considered a black-box by the latter. We propose a simple probabilistic model for the predictions and user knowledge. This model allows to study explainable ML using information theory. Explaining is here considered as the task of reducing the "surprise" incurred by a prediction. We quantify the effect of an explanation by the conditional mutual information between the explanation and prediction, given the user background.


title: Spin kinetic equations in the probability representation of quantum mechanics

abstract: We discuss the possibility to formulate the dynamics of spin states described by the Schrodinger equation for pure states and the von Neumann equation (as well as the GKSL equation) for mixed states in the form of quantum kinetic equations for probability distributions. We review an approach to the spin-state description by means of the probability distributions of dichotomic random variables.


title: Bi2W2O9: a potentially antiferroelectric Aurivillius phase

abstract: Ferroelectric tungsten-based Aurivillius oxides are naturally stable superlattice structures, in which A-site deficient perovskite blocks [WnO3n+1]-2 (n = 1, 2, 3, ...) interleave with fluorite-like bismuth oxide layers [Bi2O2]+2 along the c -axis. In the n = 2 Bi2W2O9 phase, an in-plane antipolar distortion dominates but there has been controversy as to the ground state symmetry. Here we show, using a combination of first-principles density functional theory calculations and experiments, that the ground state is a non-polar phase of Pnab symmetry. We explore the energetics of metastable phases and the potential for antiferroelectricity in this n=2 Aurivillius phase.


title: Identifying $D_{sJ}^*(2860)$ as a four resonance states through strong decay analysis

abstract: Experimentally observed excited strange charmed mesons $D_{s0}^*(2317)^{\pm}$, $D_{s1}(2460)^{\pm}$, $D_{s1}(2536)^{\pm}$, $D_{s2}^*(2573)^{\pm}$, $D_{s1}^*(2700)^{\pm}$, $D_{s1}^*(2860)^{\pm}$, $D_{s3}^*(2860)^{\pm}$, and $D_{sJ}(3040)^{\pm}$ are identified tentatively according to their spin, parity, and masses. Using the heavy quark effective theory in the leading order approximation, we study their strong decays to ground state charmed mesons plus light pseudoscalar mesons. The branching ratios are classified, $(D_{s0}^*(2317), D_{s1}(2460))$ as $(1^3P_0, 1P_1)$ and $(D_{s1}(2536), D_{s2}^*(2573))$ as $(1P_1^{\prime}, 1^3P_2)$, in heavy quark doublets. The $D_{s1}^*(2700)$ as $2^3S_1$ and its spin partner, $2^1S_0$ is still missing in the experiment. Its strong decay behavior is predicted. The assignment of $D_{sJ}^*(2860)$ as four resonance states $D_{s1}^*(2860)$, $D_{s2}^*(2860)$, $D_{s2}^{*\prime}(2860)$, $D_{s3}^*(2860)$ is favored, where for $D_{s3}^*(2860)^{\pm}$ the mass should be expected to higher than 2.86 GeV. The $D_{sJ}(3040)$ is more likely to be 2$P_1$ state. We construct the Regge trajectories of experimentally observed strange charmed mesons in $(M^2, J)$ and $(M^2, n_r)$ planes, which estimate the masses of $1^3D_3$, $1^3F_4$, $1D_2$, $1^1F_3$, $1D_2^{\prime}$, $1F_3^{\prime}$, $3^3S_1$, and $3P_1$ states with fixing the slopes and intercepts of the Regge lines. Moreover, the strong decay rates and the branching ratios of these higher excited states are also examined, which distinguished the dominant decay channels for these higher excited states. Our results could provide some important clues in LHCb, BESIII, KEK-B, and the forthcoming Belle II and $\overline{\mbox{\sffamily P}}${\sffamily ANDA} experiments.


title: An Algorithm for Consensus Trees

abstract: We consider the tree consensus problem, an important problem in bioinformatics. Given a rooted tree $t$ and another tree $T$, one would like to incorporate compatible information from $T$ to $t$. This problem is a subproblem in the tree refinement problem called the RF-Optimal Tree Refinement Problem defined by in Christensen, Molloy, Vachaspati and Warnow [WABI'19] who employ the greedy algorithm by Gawrychowski, Landau, Sung, and Weimann [ICALP'18] that runs in time $O(n^{1.5}\log n)$. We give a faster algorithm for this problem that runs in time $O(n\log n)$. Our key ingredient is a bipartition compatibility criteria based on amortized-time leaf counters. While this is an improvement, the fastest solution is an algorithm by Jansson, Shen, and Sung [JACM'16] which runs in time $O(n)$.


title: The Inverse Problem of Reconstructing Reaction-Diffusion Systems

abstract: This paper considers the inverse problem of recovering state-dependent source terms in a reaction-diffusion system from overposed data consisting of the values of the state variables either at a fixed finite time (census-type data) or a time trace of their values at a fixed point on the boundary of the spatial domain. We show both uniqueness results and the convergence of an iteration scheme designed to recover these sources. This leads to a reconstructive method and we shall demonstrate its effectiveness by several illustrative examples.


title: Neutron-rich matter in atomic nuclei and neutron stars

abstract: The proper understanding of the equation of state (EoS) of highly asymmetric nuclear matter is essential when studying systems such as neutron stars (NSs). Using zero-range Skyrme interactions and finite-range interactions such as Gogny forces, momentum-dependent interactions (MDI) and simple effective interactions (SEI), we analyze the properties of the EoS and the influence they may have on the calculations for NSs. We study the convergence properties of the Taylor series expansion of the EoS in powers of the isospin asymmetry and the accuracy of the results for $\beta$-stable nuclear matter when it is computed using the Taylor expansion of the EoS. The NS mass-radius relation for Skyrme and finite-range interactions is also analyzed. As none of the existing parametrizations of the standard Gogny D1 interaction are able to provide an NS inside the observational constraints, we propose a new parametrization, which we name D1M$^*$, that is able to provide NSs of $2 M_\odot$ while still providing the same good description of finite nuclei as D1M. A parametrization D1M$^{**}$ is also presented, which is fitted similarly as D1M$^*$ and provides NSs up to $1.91 M_\odot$. An accurate determination of the core-crust transition point is necessary for the modeling of NSs for astrophysical purposes. We estimate the core-crust transition in NSs by finding where the nuclear matter in the core is unstable against fluctuations of the density. To do that, we employ two methods, the thermodynamical method and the dynamical method for zero-range and finite-range interactions. To apply the dynamical method to finite-range forces, we have explicitly derived the expression of the energy curvature matrix in momentum space. Finally, the NS crustal properties, moment of inertia and tidal deformability are thoroughly analyzed using Skyrme and finite-range interactions.


title: Discrete Carleman estimates and three balls inequalities

abstract: We prove logarithmic convexity estimates and three balls inequalities for discrete magnetic Schr\"odinger operators. These quantitatively connect the discrete setting in which the unique continuation property fails and the continuum setting in which the unique continuation property is known to hold under suitable regularity assumptions. As a key auxiliary result which might be of independent interest we present a Carleman estimate for these discrete operators.


title: PointASNL: Robust Point Clouds Processing using Nonlocal Neural Networks with Adaptive Sampling

abstract: Raw point clouds data inevitably contains outliers or noise through acquisition from 3D sensors or reconstruction algorithms. In this paper, we present a novel end-to-end network for robust point clouds processing, named PointASNL, which can deal with point clouds with noise effectively. The key component in our approach is the adaptive sampling (AS) module. It first re-weights the neighbors around the initial sampled points from farthest point sampling (FPS), and then adaptively adjusts the sampled points beyond the entire point cloud. Our AS module can not only benefit the feature learning of point clouds, but also ease the biased effect of outliers. To further capture the neighbor and long-range dependencies of the sampled point, we proposed a local-nonlocal (L-NL) module inspired by the nonlocal operation. Such L-NL module enables the learning process insensitive to noise. Extensive experiments verify the robustness and superiority of our approach in point clouds processing tasks regardless of synthesis data, indoor data, and outdoor data with or without noise. Specifically, PointASNL achieves state-of-the-art robust performance for classification and segmentation tasks on all datasets, and significantly outperforms previous methods on real-world outdoor SemanticKITTI dataset with considerate noise. Our code is released through https://github.com/yanx27/PointASNL.


title: Connectivity of Poissonian Inhomogeneous random Multigraphs

abstract: We introduce a new way to sample inhomogeneous random graphs designed to have a lot of flexibility in the assignment of the degree sequence and the individual edge probabilities while remaining tractable. To achieve this we run a Poisson point process over the square $[0,1]^2$, with an intensity proportional to a kernel $W(x,y)$ and identify every couple of vertices of the graph with a subset of the square, adding an edge between them if there is a point in such subset. This ensures unconditional independence among edges and makes many statements much easier to prove in this setting than in other similar models. Here we prove sharpness of the connectivity threshold under mild integrability conditions on $W(x,y)$.