title: Uncertainty Quantification for Hyperspectral Image Denoising Frameworks based on Low-rank Matrix Approximation

abstract: Sliding-window based low-rank matrix approximation (LRMA) is a technique widely used in hyperspectral images (HSIs) denoising or completion. However, the uncertainty quantification of the restored HSI has not been addressed to date. Accurate uncertainty quantification of the denoised HSI facilitates to applications such as multi-source or multi-scale data fusion, data assimilation, and product uncertainty quantification, since these applications require an accurate approach to describe the statistical distributions of the input data. Therefore, we propose a prior-free closed-form element-wise uncertainty quantification method for LRMA-based HSI restoration. Our closed-form algorithm overcomes the difficulty of the HSI patch mixing problem caused by the sliding-window strategy used in the conventional LRMA process. The proposed approach only requires the uncertainty of the observed HSI and provides the uncertainty result relatively rapidly and with similar computational complexity as the LRMA technique. We conduct extensive experiments to validate the estimation accuracy of the proposed closed-form uncertainty approach. The method is robust to at least 10% random impulse noise at the cost of 10-20% of additional processing time compared to the LRMA. The experiments indicate that the proposed closed-form uncertainty quantification method is more applicable to real-world applications than the baseline Monte Carlo test, which is computationally expensive. The code is available in the attachment and will be released after the acceptance of this paper.


title: Using fiber-bending generated speckles for improved working distance and background-rejection in lensless microendoscopy

abstract: Lensless flexible fiber-bundle based endoscopes allow imaging at depths beyond the reach of conventional microscopes with a minimal footprint. These multicore fibers provide a simple solution for widefield fluorescent imaging when the target is adjacent to the fiber facet. However, they suffer from a very limited working distance and out-of-focus background. Here, we carefully study the dynamic speckle illumination patterns generated by bending a commercial fiber-bundle, and show that they can be exploited to allow extended working distance and background rejection, using a super-resolution fluctuations imaging (SOFI) analysis of multiple frames, without the addition of any optical elements.


title: Bragg scattering tomography

abstract: Here we introduce a new forward model and imaging modality for Bragg Scattering Tomography (BST). The model we propose is based on an X-ray portal scanner with linear detector collimation, currently being developed for use in airport baggage screening. The geometry under consideration leads us to a novel two-dimensional inverse problem, where we aim to reconstruct the Bragg scattering differential cross section function from its integrals over a set of symmetric $C^2$ curves in the plane. The integral transform which describes the forward problem in BST is a new type of Radon transform, which we introduce and denote as the Bragg transform. We provide new injectivity results for the Bragg transform here, and describe how the conditions of our theorems can be applied to assist in the machine design of the portal scanner. Further we provide an extension of our results to $n$-dimensions, where a generalization of the Bragg transform is introduced. Here we aim to reconstruct a real valued function on $\mathbb{R}^{n+1}$ from its integrals over $n$-dimensional surfaces of revolution of $C^2$ curves embedded in $\mathbb{R}^{n+1}$. Injectivity proofs are provided also for the generalized Bragg transform.


title: Ultralow Schottky Barriers in hBN-Encapsulated Monolayer WSe$_2$ Tunnel Field-Effect Transistors

abstract: To explore the potential of field-effect transistors (FETs) based on monolayers of the two-dimensional semiconducting channel(SC) for spintronics, the two most important issues are to ensure the formation of variable low resistive tunnel ferromagnetic contacts(FC), and to preserve intrinsic properties of the SC during fabrication. Large Schottky barriers lead to the formation of high resistive contacts and methods adopted to control the barriers often alter the intrinsic properties of the SC. This work aims at addressing both issues in fully encapsulated monolayer WSe$_2$ FETs by using bi-layer h-BN as a tunnel barrier at the FC/SC interface. We investigate the electrical transport in monolayer WSe$_2$ FETs with current-in-plane geometry that yields hole mobilities $\sim$ 38.3 $cm^{2}V^{-1}s^{-1}$ at 240 K and On/Off ratios of the order of 10$^7$, limited by the contact regions. We have achieved ultralow effective Schottky barrier ($\sim$ 5.34 meV) with encapsulated tunneling device as opposed to a non-encapsulated device in which the barrier heights are considerably higher. These observations provide an insight into the electrical behavior of the FC/h-BN/SC/h-BN heterostructures and such control over the barrier heights opens up the possibilities for WSe$_2$-based spintronic devices.


title: Metric-Learning-Assisted Domain Adaptation

abstract: Domain alignment (DA) has been widely used in unsupervised domain adaptation. Many existing DA methods assume that a low source risk, together with the alignment of distributions of source and target, means a low target risk. In this paper, we show that this does not always hold. We thus propose a novel metric-learning-assisted domain adaptation (MLA-DA) method, which employs a novel triplet loss for helping better feature alignment. We explore the relationship between the second largest probability of a target sample's prediction and its distance to the decision boundary. Based on the relationship, we propose a novel mechanism to adaptively adjust the margin in the triplet loss according to target predictions. Experimental results show that the use of proposed triplet loss can achieve clearly better results. We also demonstrate the performance improvement of MLA-DA on all four standard benchmarks compared with the state-of-the-art unsupervised domain adaptation methods. Furthermore, MLA-DA shows stable performance in robust experiments.


title: Don't Stop Pretraining: Adapt Language Models to Domains and Tasks

abstract: Language models pretrained on text from a wide variety of sources form the foundation of today's NLP. In light of the success of these broad-coverage models, we investigate whether it is still helpful to tailor a pretrained model to the domain of a target task. We present a study across four domains (biomedical and computer science publications, news, and reviews) and eight classification tasks, showing that a second phase of pretraining in-domain (domain-adaptive pretraining) leads to performance gains, under both high- and low-resource settings. Moreover, adapting to the task's unlabeled data (task-adaptive pretraining) improves performance even after domain-adaptive pretraining. Finally, we show that adapting to a task corpus augmented using simple data selection strategies is an effective alternative, especially when resources for domain-adaptive pretraining might be unavailable. Overall, we consistently find that multi-phase adaptive pretraining offers large gains in task performance.


title: Berry-Curvature Exchange Induced Anderson Localization in Large-Chern-Number Quantum Anomalous Hall Effect

abstract: We theoretically investigate the localization mechanism of quantum anomalous Hall Effect (QAHE) with large Chern numbers $\mathcal{C}$ in bilayer graphene and magnetic topological insulator thin films, by applying either nonmagnetic or spin-flip (magnetic) disorders. We show that, in the presence of nonmagnetic disorders, the QAHEs in both two systems become Anderson insulating as expected when the disorder strength is large enough. However, in the presence of spin-flip disorders, the localization mechanisms in these two host materials are completely distinct. For the ferromagnetic bilayer graphene with Rashba spin-orbit coupling, the QAHE with $\mathcal{C}=4$ firstly enters a Berry-curvature mediated metallic phase, and then becomes localized to be Anderson insulator along with the increasing of disorder strength. While in magnetic topological insulator thin films, the QAHE with $\mathcal{C=N}$ firstly enters a Berry-curvature mediated metallic phase, then transitions to another QAHE with ${\mathcal{C}}={\mathcal{N}}-1$ along with the increasing of disorder strength, and is finally localized to the Anderson insulator after ${\mathcal{N}}-1$ cycling between the QAHE and metallic phases. For the unusual findings in the latter system, by analyzing the Berry curvature evolution, it is known that the phase transitions originate from the exchange of Berry curvature carried by conduction (valence) bands. At the end, we provide a phenomenological picture related to the topological charges to help understand the underlying physical origins of the two different phase transition mechanisms.


title: Visual Question Answering Using Semantic Information from Image Descriptions

abstract: In this work, we propose a deep neural architecture that uses an attention mechanism which utilizes region based image features, the natural language question asked, and semantic knowledge extracted from the regions of an image to produce open-ended answers for questions asked in a visual question answering (VQA) task. The combination of both region based features and region based textual information about the image bolsters a model to more accurately respond to questions and potentially do so with less required training data. We evaluate our proposed architecture on a VQA task against a strong baseline and show that our method achieves excellent results on this task.


title: Prediction of separation and transition on a low-pressure turbine blade using a RANS grid

abstract: Flow past a high-lift low-pressure turbine (LPT) blade in a cascade could be quite complex as phenomena like separation and transition are often involved. For a highly loadedT106A blade at a high incidence and relatively low Reynolds number(25, 000 < Re < 1, 00, 000), separation-induced transition is observed on the suction side of the blade, making it a challenging problem for model-based simulations. In this work, computations for this flow are carried out using RANS and hybrid LES/RANS approaches. The RANS simulations are performed with six popular low- Re turbulence models. While turbulence models by themselves fail to predict any separation on the T106A blade, the four-equation Langtry-Menter transition model predicts a short separation bubble. The characteristic of this bubble, however, is very different from what is observed in experiments and DNS, and therefore transition is not accurately predicted. An embedded hybrid LES/RANS approach, Limited numerical scales(LNS), with an automatic switch to LES in sufficiently resolved grids, is then used for predictions on the sameRANS grid. With the statistical turbulence on fine grids, LES-like behavior of LNS results in an unphysical drop in Reynolds stresses as the turbulent fluctuations are not appropriately represented on the resolved scale. Therefore, the LNS results are very similar to those obtained with turbulence models. However, when synthetic turbulence with correct statistical characteristics is used to stimulate the large eddies in the embedded LES zone, LNS is able to predict separation and recovers a solution very close to DNS and experimental results.


title: ArchNet: Data Hiding Model in Distributed Machine Learning System

abstract: Integrating idle embedded devices into cloud computing is a promising approach to support distributed machine learning. In this paper, we approach to address the data hiding problem in such distributed machine learning systems. For the purpose of the data encryption in the distributed machine learning systems, we propose the Tripartite Asymmetric Encryption theorem and give mathematical proof. Based on the theorem, we design a general image encryption scheme ArchNet.The scheme has been implemented on MNIST, Fashion-MNIST and Cifar-10 datasets to simulate real situation. We use different base models on the encrypted datasets and compare the results with the RC4 algorithm and differential privacy policy. Experiment results evaluated the efficiency of the proposed design. Specifically, our design can improve the accuracy on MNIST up to 97.26% compared with RC4.The accuracies on the datasets encrypted by ArchNet are 97.26%, 84.15% and 79.80%, and they are 97.31%, 82.31% and 80.22% on the original datasets, which shows that the encrypted accuracy of ArchNet has the same performance as the base model. It also shows that ArchNet can be deployed on the distributed system with embedded devices.


title: Non-Adaptive Adaptive Sampling on Turnstile Streams

abstract: Adaptive sampling is a useful algorithmic tool for data summarization problems in the classical centralized setting, where the entire dataset is available to the single processor performing the computation. Adaptive sampling repeatedly selects rows of an underlying matrix $\mathbf{A}\in\mathbb{R}^{n\times d}$, where $n\gg d$, with probabilities proportional to their distances to the subspace of the previously selected rows. Intuitively, adaptive sampling seems to be limited to trivial multi-pass algorithms in the streaming model of computation due to its inherently sequential nature of assigning sampling probabilities to each row only after the previous iteration is completed. Surprisingly, we show this is not the case by giving the first one-pass algorithms for adaptive sampling on turnstile streams and using space $\text{poly}(d,k,\log n)$, where $k$ is the number of adaptive sampling rounds to be performed. Our adaptive sampling procedure has a number of applications to various data summarization problems that either improve state-of-the-art or have only been previously studied in the more relaxed row-arrival model. We give the first relative-error algorithms for column subset selection, subspace approximation, projective clustering, and volume maximization on turnstile streams that use space sublinear in $n$. We complement our volume maximization algorithmic results with lower bounds that are tight up to lower order terms, even for multi-pass algorithms. By a similar construction, we also obtain lower bounds for volume maximization in the row-arrival model, which we match with competitive upper bounds. See paper for full abstract.


title: Efficient energy-preserving numerical approximations for the sine-Gordon equation with Neumann boundary conditions

abstract: We present two novel classes of fully discrete energy-preserving algorithms for the sine-Gordon equation subject to Neumann boundary conditions. The cosine pseudo-spectral method is first used to develop structure-preserving spatial discretizations under two different meshes, which result two finite-dimensional Hamiltonian ODE systems. Then we combine the prediction-correction Crank-Nicolson scheme with the projection approach to arrive at fully discrete energy-preserving methods. Alternatively, we introduce a supplementary variable to transform the initial model into a relaxation system, which allows us to construct structure-preserving algorithms more easily. We then discretize the relaxation system directly by using the cosine pseudo-spectral method in space and the prediction-correction Crank-Nicolson scheme in time to derive a new class of energy-preserving schemes. The proposed methods can be solved effectively by the discrete Cosine transform. Some benchmark examples and numerical comparisons are presented to demonstrate the accuracy, efficiency and superiority of the proposed schemes.


title: MemTorch: An Open-source Simulation Framework for Memristive Deep Learning Systems

abstract: Memristive devices have shown great promise to facilitate the acceleration and improve the power efficiency of Deep Learning (DL) systems. Crossbar architectures constructed using these Resistive Random-Access Memory (RRAM) devices can be used to efficiently implement various in-memory computing operations, such as Multiply Accumulate (MAC) and unrolled-convolutions, which are used extensively in Deep Neural Networks (DNNs) and Convolutional Neural Networks (CNNs). However, memristive devices face concerns of aging and non-idealities, which limit the accuracy, reliability, and robustness of Memristive Deep Learning Systems (MDLSs), that should be considered prior to circuit-level realization. This Original Software Publication (OSP) presents MemTorch, an open-source framework for customized large-scale memristive DL simulations, with a refined focus on the co-simulation of device non-idealities. MemTorch also facilitates co-modelling of key crossbar peripheral circuitry. MemTorch adopts a modernized soft-ware engineering methodology and integrates directly with the well-known PyTorch Machine Learning (ML) library


title: Semi-Supervised Models via Data Augmentationfor Classifying Interactive Affective Responses

abstract: We present semi-supervised models with data augmentation (SMDA), a semi-supervised text classification system to classify interactive affective responses. SMDA utilizes recent transformer-based models to encode each sentence and employs back translation techniques to paraphrase given sentences as augmented data. For labeled sentences, we performed data augmentations to uniform the label distributions and computed supervised loss during training process. For unlabeled sentences, we explored self-training by regarding low-entropy predictions over unlabeled sentences as pseudo labels, assuming high-confidence predictions as labeled data for training. We further introduced consistency regularization as unsupervised loss after data augmentations on unlabeled data, based on the assumption that the model should predict similar class distributions with original unlabeled sentences as input and augmented sentences as input. Via a set of experiments, we demonstrated that our system outperformed baseline models in terms of F1-score and accuracy.


title: High sensitivity, levitated microsphere apparatus for short-distance force measurements

abstract: A high sensitivity force sensor based on dielectric microspheres in vacuum, optically trapped by a single, upward-propagating laser beam, is described. Off-axis parabolic mirrors are used both to focus the 1064~nm trapping beam and to recollimate it to provide information on the horizontal position of the microsphere. The vertical degree of freedom is readout by forming an interferometer between the light retroreflected by the microsphere and a reference beam, hence eliminating the need for auxiliary beams. The focus of the trapping beam has a 1/e$^2$ radius of 3.2~$\mu$m and small non-Gaussian tails, suitable for bringing devices close to the trapped microsphere without disturbing the optical field. Electrodes surrounding the trapping region provide excellent control of the electric field, which can be used to drive the translational degrees of freedom of a charged microsphere and the rotational degrees of freedom of a neutral microsphere, coupling to its electric dipole moment. With this control, the charge state can be determined with single electron precision, the mass of individual microspheres can be measured, and empirical calibrations of the force sensitivity can be made for each microsphere. A force noise of $<1\times10^{-17}$~N/$\sqrt{\rm Hz}$, which is comparable to previous reports, is measured on all three degrees of freedom for 4.7~$\mu$m diameter, 84~pg silica microspheres. Various devices have been brought within $1.6~\mu$m of the surface of a trapped microsphere. Metrology in the trapping region is provided by two custom-designed microscopes providing views in the horizontal and one of the vertical planes. The apparatus opens the way to performing high sensitivity three-dimensional force measurements at short distance.


title: The Effects of Metallicity and Abundance Pattern of the ISM on Supernova Feedback

abstract: Supernova (SN) feedback plays a vital role in the evolution of galaxies. While modern cosmological simulations capture the leading structures within galaxies, they struggle to provide sufficient resolution to study small-scale stellar feedback, such as the detailed evolution of SN remnants. It is thus common practice to assume subgrid models that are rarely extended to low metallicities, and which routinely use the standard solar abundance pattern. With the aid of 1-d hydrodynamical simulations, we extend these models to consider low metallicities and non-solar abundance patterns as derived from spectra of Milky Way stars. For that purpose, a simple, yet effective framework has been developed to generate non-solar abundance pattern cooling functions. We find that previous treatments markedly over-predict SN feedback at low metallicities and show that non-negligible changes in the evolution of SN remnants of up to $\approx 50\%$ in $cooling\; mass$ and $\approx 27\%$ in $momentum\; injection\; from\; SN\; remnants$ arise from non-solar abundance patterns. We use our simulations to quantify these results as a function of metallicity and abundance pattern variations and present analytic formulae to accurately describe the trends. These formulae have been designed to serve as subgrid models for SN feedback in cosmological hydrodynamical simulations.


title: Local Adaptation Improves Accuracy of Deep Learning Model for Automated X-Ray Thoracic Disease Detection : A Thai Study

abstract: Despite much promising research in the area of artificial intelligence for medical image diagnosis, there has been no large-scale validation study done in Thailand to confirm the accuracy and utility of such algorithms when applied to local datasets. Here we present a wide-reaching development and testing of a deep learning algorithm for automated thoracic disease detection, utilizing 421,859 local chest radiographs. Our study shows that convolutional neural networks can achieve remarkable performance in detecting 13 common abnormality conditions on chest X-ray, and the incorporation of local images into the training set is key to the model's success. This paper presents a state-of-the-art model for CXR abnormality detection, reaching an average AUROC of 0.91. This model, if integrated to the workflow, can result in up to 55.6% work reduction for medical practitioners in the CXR analysis process. Our work emphasizes the importance of investing in local research of medical diagnosis algorithms to ensure safe and efficient usage within the intended region.


title: OF-VO: Efficient Navigation among Pedestrians Using Commodity Sensors

abstract: We present a modified velocity-obstacle (VO) algorithm that uses probabilistic partial observations of the environment to compute velocities and navigate a robot to a target. Our system uses commodity visual sensors, including a mono-camera and a 2D Lidar, to explicitly predict the velocities and positions of surrounding obstacles through optical flow estimation, object detection, and sensor fusion. A key aspect of our work is coupling the perception (OF: optical flow) and planning (VO) components for reliable navigation. Overall, our OF-VO algorithm using learning-based perception and model-based planning methods offers better performance than prior algorithms in terms of navigation time and success rate of collision avoidance. Our method also provides bounds on the probabilistic collision avoidance algorithm. We highlight the realtime performance of OF-VO on a Turtlebot navigating among pedestrians in both simulated and real-world scenes. A demo video is available at https://gamma.umd.edu/ofvo/


title: Real-time Detection of Clustered Events in Video-imaging data with Applications to Additive Manufacturing

abstract: The use of video-imaging data for in-line process monitoring applications has become more and more popular in the industry. In this framework, spatio-temporal statistical process monitoring methods are needed to capture the relevant information content and signal possible out-of-control states. Video-imaging data are characterized by a spatio-temporal variability structure that depends on the underlying phenomenon, and typical out-of-control patterns are related to the events that are localized both in time and space. In this paper, we propose an integrated spatio-temporal decomposition and regression approach for anomaly detection in video-imaging data. Out-of-control events are typically sparse spatially clustered and temporally consistent. Therefore, the goal is to not only detect the anomaly as quickly as possible ("when") but also locate it ("where"). The proposed approach works by decomposing the original spatio-temporal data into random natural events, sparse spatially clustered and temporally consistent anomalous events, and random noise. Recursive estimation procedures for spatio-temporal regression are presented to enable the real-time implementation of the proposed methodology. Finally, a likelihood ratio test procedure is proposed to detect when and where the hotspot happens. The proposed approach was applied to the analysis of video-imaging data to detect and locate local over-heating phenomena ("hotspots") during the layer-wise process in a metal additive manufacturing process.


title: Constructing Complexity-efficient Features in XCS with Tree-based Rule Conditions

abstract: A major goal of machine learning is to create techniques that abstract away irrelevant information. The generalisation property of standard Learning Classifier System (LCS) removes such information at the feature level but not at the feature interaction level. Code Fragments (CFs), a form of tree-based programs, introduced feature manipulation to discover important interactions, but they often contain irrelevant information, which causes structural inefficiency. XOF is a recently introduced LCS that uses CFs to encode building blocks of knowledge about feature interaction. This paper aims to optimise the structural efficiency of CFs in XOF. We propose two measures to improve constructing CFs to achieve this goal. Firstly, a new CF-fitness update estimates the applicability of CFs that also considers the structural complexity. The second measure we can use is a niche-based method of generating CFs. These approaches were tested on Even-parity and Hierarchical problems, which require highly complex combinations of input features to capture the data patterns. The results show that the proposed methods significantly increase the structural efficiency of CFs, which is estimated by the rule "generality rate". This results in faster learning performance in the Hierarchical Majority-on problem. Furthermore, a user-set depth limit for CF generation is not needed as the learning agent will not adopt higher-level CFs once optimal CFs are constructed.


title: Lagrangian complexity persists with multimodal flow forcing in poroelastic systems

abstract: We extend previous analyses of the origins of complex transport dynamics in poroelastic media to the case where the input transient signal at a boundary is generated by a multimodal spectrum. By adding harmonic and anharmonic modal frequencies as perturbations to a fundamental mode we examine how such multimodal signals affect the Lagrangian complexity of poroelastic flow. While the results apply to all poroelastic media (industrial, biological and geophysical), for concreteness we couch the discussion in terms of unpumped coastal groundwater systems having a discharge boundary forced by tides. Particular local regions of the conductivity field generate saddles that hold up and braid (mix) trajectories, resulting in unexpected behaviours of groundwater residence time distributions and topological mixing manifolds near the tidal boundary. While increasing spectral complexity can reduce the occurrence of periodic points, especially for anharmonic spectra with long characteristic periods, other signatures of Lagrangian complexity persist. The action of natural multimodal tidal signals on confined groundwater flow in heterogeneous aquifers can induce exotic flow topologies and mixing effects that are profoundly different to conventional concepts of groundwater discharge processes. Taken together, our results imply that increasing spectral complexity results in more complex Lagrangian structure in flows through poroelastic media.


title: Deep Learning of Chaos Classification

abstract: We train an artificial neural network which distinguishes chaotic and regular dynamics of the two-dimensional Chirikov standard map. We use finite length trajectories and compare the performance with traditional numerical methods which need to evaluate the Lyapunov exponent. The neural network has superior performance for short periods with length down to 10 Lyapunov times on which the traditional Lyapunov exponent computation is far from converging. We show the robustness of the neural network to varying control parameters, in particular we train with one set of control parameters, and successfully test in a complementary set. Furthermore, we use the neural network to successfully test the dynamics of discrete maps in different dimensions, e.g. the one-dimensional logistic map and a three-dimensional discrete version of the Lorenz system. Our results demonstrate that a convolutional neural network can be used as an excellent chaos indicator.


title: Sparse Generalized Canonical Correlation Analysis: Distributed Alternating Iteration based Approach

abstract: Sparse canonical correlation analysis (CCA) is a useful statistical tool to detect latent information with sparse structures. However, sparse CCA works only for two datasets, i.e., there are only two views or two distinct objects. To overcome this limitation, in this paper, we propose a sparse generalized canonical correlation analysis (GCCA), which could detect the latent relations of multiview data with sparse structures. Moreover, the introduced sparsity could be considered as Laplace prior on the canonical variates. Specifically, we convert the GCCA into a linear system of equations and impose $\ell_1$ minimization penalty for sparsity pursuit. This results in a nonconvex problem on Stiefel manifold, which is difficult to solve. Motivated by Boyd's consensus problem, an algorithm based on distributed alternating iteration approach is developed and theoretical consistency analysis is investigated elaborately under mild conditions. Experiments on several synthetic and real world datasets demonstrate the effectiveness of the proposed algorithm.


title: Multiobjective Based LQR Design for Fractional Order Systems with Perturbations using PESA-II Algorithm

abstract: In this work perturbed LQR design for fractional-order systems with multiple performance indices is proposed.


title: Introduction to universal algebra and clones

abstract: The purpose of this note is to provide a gentle introduction to basic universal algebra and (abstract) clones.


title: A Complete Characterization of Projectivity for Statistical Relational Models

abstract: A generative probabilistic model for relational data consists of a family of probability distributions for relational structures over domains of different sizes. In most existing statistical relational learning (SRL) frameworks, these models are not projective in the sense that the marginal of the distribution for size-$n$ structures on induced sub-structures of size $k<n$ is equal to the given distribution for size-$k$ structures. Projectivity is very beneficial in that it directly enables lifted inference and statistically consistent learning from sub-sampled relational structures. In earlier work some simple fragments of SRL languages have been identified that represent projective models. However, no complete characterization of, and representation framework for projective models has been given. In this paper we fill this gap: exploiting representation theorems for infinite exchangeable arrays we introduce a class of directed graphical latent variable models that precisely correspond to the class of projective relational models. As a by-product we also obtain a characterization for when a given distribution over size-$k$ structures is the statistical frequency distribution of size-$k$ sub-structures in much larger size-$n$ structures. These results shed new light onto the old open problem of how to apply Halpern et al.'s "random worlds approach" for probabilistic inference to general relational signatures.


title: $Y(4626)$ as a $P$-wave $[cs][\bar{c}\bar{s}]$ tetraquark state

abstract: Motivated by the Belle Collaboration's new observation of $Y(4626)$, we investigate the possibility of its configuration as a $P$-wave $[cs][\bar{c}\bar{s}]$ tetraquark state from QCD sum rules. Eventually, the extracted mass $4.60^{+0.13}_{-0.19}~\mbox{GeV}$ for the $P$-wave $cs$-scalar-diquark $\bar{c}\bar{s}$-scalar-antidiquark state agrees well with the experimental data of $Y(4626)$, which could support its interpretation as a $P$-wave scalar-scalar $[cs][\bar{c}\bar{s}]$ tetraquark state.


title: Quantifying torque from the Milky Way bar using Gaia DR2

abstract: We determine the mass of the Milky Way bar and the torque it causes, using Gaia DR2, by applying the orbital arc method. Based on this, we have found that the gravitational acceleration is not directed towards the centre of our Galaxy but a few degrees away from it. We propose that the tangential acceleration component is caused by the bar of the Galaxy. Calculations based on our model suggest that the torque experienced by the region around the Sun is $\approx 2400\, km^2 s^{-2}$ per solar mass. The mass estimate for the bar is $\sim 1.6\pm0.3\times10^{10} M_\odot$. Using greatly improved data from Gaia DR2, we have computed the acceleration field to great accuracy by adapting the oPDF method (Han et al. 2016) locally and used the phase space coordinates of $\sim 4\times10^5$ stars within a distance of 0.5 kpc from the Sun. In the orbital arc method, the first step is to guess an acceleration field and then reconstruct the stellar orbits using this acceleration for all the stars within a specified region. Next, the stars are redistributed along orbits to check if the overall phase space distribution has changed. We repeat this process until we find an acceleration field that results in a new phase space distribution that is the same as the one that we started with; we have then recovered the true underlying acceleration.


title: COVID-19 Chest CT Image Segmentation -- A Deep Convolutional Neural Network Solution

abstract: A novel coronavirus disease 2019 (COVID-19) was detected and has spread rapidly across various countries around the world since the end of the year 2019, Computed Tomography (CT) images have been used as a crucial alternative to the time-consuming RT-PCR test. However, pure manual segmentation of CT images faces a serious challenge with the increase of suspected cases, resulting in urgent requirements for accurate and automatic segmentation of COVID-19 infections. Unfortunately, since the imaging characteristics of the COVID-19 infection are diverse and similar to the backgrounds, existing medical image segmentation methods cannot achieve satisfactory performance. In this work, we try to establish a new deep convolutional neural network tailored for segmenting the chest CT images with COVID-19 infections. We firstly maintain a large and new chest CT image dataset consisting of 165,667 annotated chest CT images from 861 patients with confirmed COVID-19. Inspired by the observation that the boundary of the infected lung can be enhanced by adjusting the global intensity, in the proposed deep CNN, we introduce a feature variation block which adaptively adjusts the global properties of the features for segmenting COVID-19 infection. The proposed FV block can enhance the capability of feature representation effectively and adaptively for diverse cases. We fuse features at different scales by proposing Progressive Atrous Spatial Pyramid Pooling to handle the sophisticated infection areas with diverse appearance and shapes. We conducted experiments on the data collected in China and Germany and show that the proposed deep CNN can produce impressive performance effectively.


title: Nanolaminated Al2O3/HfO2 dielectrics for silicon carbide based devices

abstract: Nanolaminated Al2O3/HfO2 thin films as well as single Al2O3 and HfO2 layers have been grown as gate dielectrics by Plasma Enhanced Atomic Layer Deposition (PEALD) technique on silicon carbide (4H-SiC) substrates. All the three dielectric films have been deposited at temperature as low as 250{\deg}C, with a total thickness of about 30 nm and in particular, the nanolaminated Al2O3/HfO2 films have been fabricated by alternating nanometric Al2O3 and HfO2 layers. The structural characteristics and dielectrical properties of the nanolaminated Al2O3/HfO2 films have been evaluated and compared to those of the parent Al2O3 and HfO2 single layers. Moreover, the structural properties and their evolution upon annealing treatment at 800{\deg}C have been investigated as preliminar test for their possible implementation in the device fabrication flow-chart. On the basis of the collected data, the nanolaminated films demonstrated to possess promising dielectric behavior with respect to the simple oxide layers.


title: Super-resolution Imaging of the Protoplanetary Disk HD 142527 Using Sparse Modeling

abstract: With an emphasis on improving the fidelity even in super-resolution regimes, new imaging techniques have been intensively developed over the last several years, which may provide substantial improvements to the interferometric observation of protoplanetary disks. In this study, sparse modeling (SpM) is applied for the first time to observational data sets taken by the Atacama Large Millimeter/submillimeter Array (ALMA). The two data sets used in this study were taken independently using different array configurations at Band 7 (330 GHz), targeting the protoplanetary disk around HD 142527; one in the shorter-baseline array configuration (~ 430 m), and the other in the longer-baseline array configuration (~ 1570 m). The image resolutions reconstructed from the two data sets are different by a factor of ~ 3. We confirm that the previously known disk structures appear on the images produced by both SpM and CLEAN at the standard beam size. The image reconstructed from the shorter-baseline data using the SpM matches that obtained with the longer-baseline data using CLEAN, achieving a super-resolution image from which a structure finer than the beam size can be reproduced. Our results demonstrate that on-going intensive development in the SpM imaging technique is beneficial to imaging with ALMA.


title: Observations of Disintegrating Long-Period Comet C/2019 Y4 (ATLAS) -- A Sibling of C/1844 Y1 (Great Comet)

abstract: We present a study of C/2019 Y4 (ATLAS) using Sloan $gri$ observations from mid-January to early April 2020. During this timespan, the comet brightened with a growth in the effective cross-section of $\left(2.0 \pm 0.1 \right) \times 10^{2}$ m$^{2}$ s$^{-1}$ from the beginning to $\sim$70 d preperihelion in late March 2020, followed by a brightness fade and the comet gradually losing the central condensation. Meanwhile, the comet became progressively bluer, and was even bluer than the Sun ($g - r \approx 0.2$) when the brightness peaked, likely due to activation of subterranean fresh volatiles exposed to sunlight. With the tailward-bias corrected astrometry we found an enormous radial nongravitational parameter, $A_{1} = \left(+2.25 \pm 0.13\right) \times 10^{-7}$ au d$^{-2}$ in the heliocentric motion of the comet. Taking all of these finds into consideration, we conclude that the comet has disintegrated since mid-March 2020. By no means was the split new to the comet, as we quantified that the comet had undergone another split event around last perihelion $\sim$5 kyr ago, during which its sibling C/1844 Y1 (Great Comet) was produced, with the in-plane component of the separation velocity $\gtrsim$1 m s$^{-1}$. We constrained that the nucleus of C/2019 Y4 before disintegration was $\gtrsim$60 m in radius, and has been protractedly ejecting dust grains of $\sim$10-40 $\mu$m (assuming dust bulk density 0.5 g cm$^{-3}$) with ejection speed $\sim$30 m s$^{-1}$ in early March 2020 and increased to $\sim$80 m s$^{-1}$ towards the end of the month for grains of $\sim$10 $\mu$m.


title: Boundedness for a nonlocal reaction chemotaxis model even in the attraction-dominated regime

abstract: This work deals with a parabolic chemotaxis model with nonlinear diffusion and nonlocal reaction source. The problem is formulated on the whole space and, depending on a specific interplay between the coefficients associated to such diffusion and reaction, we establish that all given solutions are uniformly bounded in time.


title: Triangle-free Subgraphs of Hypergraphs

abstract: In this paper, we consider an analog of the well-studied extremal problem for triangle-free subgraphs of graphs for uniform hypergraphs. A loose triangle is a hypergraph $T$ consisting of three edges $e,f$ and $g$ such that $|e \cap f| = |f \cap g| = |g \cap e| = 1$ and $e \cap f \cap g = \emptyset$. We prove that if $H$ is an $n$-vertex $r$-uniform hypergraph with maximum degree $\triangle$, then as $\triangle \rightarrow \infty$, the number of edges in a densest $T$-free subhypergraph of $H$ is at least \[ \frac{e(H)}{\triangle^{\frac{r-2}{r-1} + o(1)}}.\] For $r = 3$, this is tight up to the $o(1)$ term in the exponent. We also show that if $H$ is a random $n$-vertex triple system with edge-probability $p$ such that $pn^3\rightarrow\infty$ as $n\rightarrow\infty$, then with high probability as $n \rightarrow \infty$, the number of edges in a densest $T$-free subhypergraph is \[ \min\Bigl\{(1-o(1))p{n\choose3},p^{\frac{1}{3}}n^{2-o(1)}\Bigr\}.\] We use the method of containers together with probabilistic methods and a connection to the extremal problem for arithmetic progressions of length three due to Ruzsa and Szemer\'{e}di.


title: Semiclassical dynamics of a dark soliton in a one-dimensional bosonic superfluid in an optical lattice

abstract: We study quantum dynamics of a dark soliton in a one-dimensional Bose gas in an optical lattice within the truncated Wigner approximation. A previous work has revealed that in the absence of quantum fluctuations, dynamical stability of the dark soliton significantly depends on whether its phase kink is located at a lattice site or a link of two neighboring sites. It has also shown that the dark soliton is unstable in a regime of strong quantum fluctuations regardless of the phase-kink position. To bridge the gap between the classical and strongly quantum regimes, we investigate the dynamical stability of the dark soliton in a regime of weak quantum fluctuations. We find that the position dependence of the dynamical stability gradually diminishes and eventually vanishes as the strength of quantum fluctuations increases. This classical-to-quantum crossover of the soliton stability remains even in the presence of a parabolic trapping potential. We suggest that the crossover behavior can be used for experimentally diagnosing whether the instability of a dark soliton is due to quantum fluctuations or classical dynamical instability.


title: A Physics Based Approach for Neural Networks Enabled Design of All-Dielectric Metasurfaces

abstract: Machine learning methods have found novel application areas in various disciplines as they offer low-computational cost solutions to complex problems. Recently, metasurface design has joined among these applications, and neural networks enabled significant improvements within a short period of time. However, there are still outstanding challenges that needs to be overcome. Here, we propose a data pre-processing approach based on the governing laws of the physical problem to eliminate dimensional mismatch between high dimensional optical response and low dimensional feature space of metasurfaces. We train forward and inverse models to predict optical responses of cylindrical meta-atoms and to retrieve their geometric parameters for a desired optical response, respectively. Our approach provides accurate prediction capability even outside the training spectral range. Finally, using our inverse model, we design and demonstrate a focusing metalens as a proof-of-concept application, thus validating the capability of our proposed approach. We believe our method will pave the way towards practical learning-based models to solve more complicated photonic design problems.


title: Ring isomorphisms of closed string via homological mirror symmetry

abstract: We investigate how ring isomorphisms between mirror closed states of compact toric Fano manifolds come from homological mirror symmetry. A natural closed-open relation on B-side is also discussed.


title: DUNE prospect for leptophobic dark matter

abstract: Highly energetic proton/electron beam fixed target experiments extends an opportunity to probe the sub-GeV dark matter and associated interactions. In this work we have explored the sensitivity of DUNE for sub-GeV leptophobic dark matter i.e. this dark matter barely couples with the leptons. Baryon number gauge theory can predicts the existence of a leptophobic cold dark matter particle candidates. In our work, the dark matter candidate is considered to be scalar whose mass is defined by the symmetry breaking of new baryonic gauge group $U(1)_{B}$. In this scenario a light scalar dark matter couples with the standard model candidates via vector boson mediator $V_{B}$ which belongs to the baryonic gauge group $U(1)_{B}$. This leptophobic dark matter dominantly couples to the quarks. Under this scenario new parameter space for $\alpha_{B}$ is explored by DUNE for leptophobic dark matter candidates. This new parameter space allowed $\alpha_{B}$ to get lower value than the present exiting constraint value of $\alpha_{B}$ i.e. $10^{-6}$.


title: A family of 4-branch-point covers with monodromy group PSL(6,2)

abstract: We describe the explicit computation of a family of 4-branch-point rational functions of degree 63 with monodromy group PSL(6,2). This, in particular, negatively answers a question by J. K\"onig whether there exists a such a function with rational coefficients. The computed family also gives rise to non-regular degree-126 realizations of Aut(PSL(6,2)) over Q(t).


title: Cross-ethnicity Face Anti-spoofing Recognition Challenge: A Review

abstract: Face anti-spoofing is critical to prevent face recognition systems from a security breach. The biometrics community has %possessed achieved impressive progress recently due the excellent performance of deep neural networks and the availability of large datasets. Although ethnic bias has been verified to severely affect the performance of face recognition systems, it still remains an open research problem in face anti-spoofing. Recently, a multi-ethnic face anti-spoofing dataset, CASIA-SURF CeFA, has been released with the goal of measuring the ethnic bias. It is the largest up to date cross-ethnicity face anti-spoofing dataset covering $3$ ethnicities, $3$ modalities, $1,607$ subjects, 2D plus 3D attack types, and the first dataset including explicit ethnic labels among the recently released datasets for face anti-spoofing. We organized the Chalearn Face Anti-spoofing Attack Detection Challenge which consists of single-modal (e.g., RGB) and multi-modal (e.g., RGB, Depth, Infrared (IR)) tracks around this novel resource to boost research aiming to alleviate the ethnic bias. Both tracks have attracted $340$ teams in the development stage, and finally 11 and 8 teams have submitted their codes in the single-modal and multi-modal face anti-spoofing recognition challenges, respectively. All the results were verified and re-ran by the organizing team, and the results were used for the final ranking. This paper presents an overview of the challenge, including its design, evaluation protocol and a summary of results. We analyze the top ranked solutions and draw conclusions derived from the competition. In addition we outline future work directions.


title: Location-Aware Feature Selection Text Detection Network

abstract: Regression-based text detection methods have already achieved promising performances with simple network structure and high efficiency. However, they are behind in accuracy comparing with recent segmentation-based text detectors. In this work, we discover that one important reason to this case is that regression-based methods usually utilize a fixed feature selection way, i.e. selecting features in a single location or in neighbor regions, to predict components of the bounding box, such as the distances to the boundaries or the rotation angle. The features selected through this way sometimes are not the best choices for predicting every component of a text bounding box and thus degrade the accuracy performance. To address this issue, we propose a novel Location-Aware feature Selection text detection Network (LASNet). LASNet selects suitable features from different locations to separately predict the five components of a bounding box and gets the final bounding box through the combination of these components. Specifically, instead of using the classification score map to select one feature for predicting the whole bounding box as most of the existing methods did, the proposed LASNet first learn five new confidence score maps to indicate the prediction accuracy of the bounding box components, respectively. Then, a Location-Aware Feature Selection mechanism (LAFS) is designed to weightily fuse the top-$K$ prediction results for each component according to their confidence score, and to combine the all five fused components into a final bounding box. As a result, LASNet predicts the more accurate bounding boxes by using a learnable feature selection way. The experimental results demonstrate that our LASNet achieves state-of-the-art performance with single-model and single-scale testing, outperforming all existing regression-based detectors.


title: Control of high-harmonic generation by tuning the electronic structure and carrier injection

abstract: High-harmonic generation (HHG), which is generation of multiple optical harmonic light, is an unconventional nonlinear optical phenomenon beyond perturbation regime. HHG, which was initially observed in gaseous media, has recently been demonstrated in solid state materials. How to control the extreme nonlinear optical phenomena is a challenging subject. Compared to atomic gases, solid state materials have advantages in controlling electronic structures and carrier injection. Here, we demonstrate control of HHG by tuning electronic structure and carrier injection using single-walled carbon nanotubes (SWCNTs). We reveal systematic changes in the high-harmonic spectra of SWCNTs with a series of electronic structures from a metal to a semiconductor. We demonstrate enhancement or reduction of harmonic generation by more than one order of magnitude by tuning electron and hole injection into the semiconductor SWCNTs through electrolyte gating. These results open a way to control HHG within the concept of field effect transistor devices.


title: An Asymmetric Cycle-Consistency Loss for Dealing with Many-to-One Mappings in Image Translation: A Study on Thigh MR Scans

abstract: Generative adversarial networks using a cycle-consistency loss facilitate unpaired training of image-translation models and thereby exhibit a very high potential in manifold medical applications. However, the fact that images in one domain potentially map to more than one image in another domain (e.g. in case of pathological changes) exhibits a major challenge for training the networks. In this work, we offer a solution to improve the training process in case of many-to-one mappings by modifying the cycle-consistency loss. We show formally and empirically that the proposed method improves the performance significantly without radically changing the architecture and without increasing the overall complexity. We evaluate our method on thigh MRI scans with the final goal of segmenting the muscle in fat-infiltrated patients' data.


title: Fast optimization of parametrized quantum optical circuits

abstract: Parametrized quantum optical circuits are a class of quantum circuits in which the carriers of quantum information are photons and the gates are optical transformations. Classically optimizing these circuits is challenging due to the infinite dimensionality of the photon number vector space that is associated to each optical mode. Truncating the space dimension is unavoidable, and it can lead to incorrect results if the gates populate photon number states beyond the cutoff. To tackle this issue, we present an algorithm that is orders of magnitude faster than the current state of the art, to recursively compute the exact matrix elements of Gaussian operators and their gradient with respect to a parametrization. These operators, when augmented with a non-Gaussian transformation such as the Kerr gate, achieve universal quantum computation. Our approach brings two advantages: first, by computing the matrix elements of Gaussian operators directly, we don't need to construct them by combining several other operators; second, we can use any variant of the gradient descent algorithm by plugging our gradients into an automatic differentiation framework such as TensorFlow or PyTorch. Our results will find applications in quantum optical hardware research, quantum machine learning, optical data processing, device discovery and device design.


title: Adaptive Techniques in Practical Quantum Key Distribution

abstract: Quantum Key Distribution (QKD) can provide information-theoretically secure communications and is a strong candidate for the next generation of cryptography. However, in practice, the performance of QKD is limited by "practical imperfections" in realistic sources, channels, and detectors (such as multi-photon components or imperfect encoding from the sources, losses and misalignment in the channels, or dark counts in detectors). Addressing such practical imperfections is a crucial part of implementing QKD protocols with good performance in reality. There are two highly important future directions for QKD: (1) QKD over free space, which can allow secure communications between mobile platforms such as handheld systems, drones, planes, and even satellites, and (2) fibre-based QKD networks, which can simultaneously provide QKD service to numerous users at arbitrary locations. These directions are both highly promising, but so far they are limited by practical imperfections in the channels and devices, which pose huge challenges and limit their performance. In this thesis, we develop adaptive techniques with innovative protocol and algorithm design, as well as novel techniques such as machine learning, to address some of these key challenges, including (a) atmospheric turbulence in channels for free-space QKD, (b) asymmetric losses in channels for QKD network, and (c) efficient parameter optimization in real time, which is important for both free-space QKD and QKD networks. We believe that this work will pave the way to important implementations of free-space QKD and fibre-based QKD networks in the future.


title: Valuation rings as limits of complete intersection rings

abstract: We show that a valuation ring containing its residue field of characteristic $p>0$ is a filtered direct limit of complete intersection ${\bf F}_p$-algebras.


title: Love, Joy, Anger, Sadness, Fear, and Surprise: SE Needs Special Kinds of AI: A Case Study on Text Mining and SE

abstract: Do you like your code? What kind of code makes developers happiest? What makes them angriest? Is it possible to monitor the mood of a large team of coders to determine when and where a codebase needs additional help?


title: Stratospheric temperature anomalies as imprints from the dark Universe

abstract: The manifestation of the dark Universe begun with unexpected large scale astronomical observations. Here we are investigating the origin of small scale anomalies, like that of the annually observed temperature anomalies in the stratosphere. Unexpectedly, we observe a planetary relationship of the daily stratospheric temperature distribution. Its spectral shape does not match concurrent solar activity, or solar EUV emission, whose impact on the atmosphere is unequivocal. This behavior points at an additional energy source of exosolar origin. A viable concept behind such observations is based on possible gravitational focusing by the solar system towards the Earth of low speed invisible matter. We denote generic constituents from the dark Universe as invisible matter, in order to distinguish them from ordinary dark matter candidates like axions or WIMPs, which cannot have any noticeable impact on the stratosphere. The observed peaking planetary relations exclude on their own any conventional explanation. Only a somehow strongly interacting invisible streaming matter with the little screened upper stratosphere (noverhead about 1 gr/cm 2) can be behind the occasionally observed temperature increases. We also estimate an associated energy deposition O(W/m 2), which is variable over the 11 years solar cycle. For the widely assumed picture of a quasi not interacting dark Universe, this new exosolar energy is enormous. Since the atmosphere is uninterruptedly monitored since decades, it can serve also parasitically as a novel low threshold detector for the dark Universe, with built-in spatiotemporal resolution and the solar system acting temporally as signal amplifier. In future, analyzing more observations, for example, from the anomalous ionosphere, or, the transient sudden stratospheric warmings, the nature of the assumed invisible streams could be deciphered.


title: Ultrafast energy relaxation of quantum dot-generated 2D hot electrons

abstract: Through a series of transverse magnetic focusing experiments, we show that hot electrons in a two-dimensional electron gas system undergo an ultrafast relaxation when generated by a quantum dot (QD) instead of a quantum point contact (QPC). We find here that QPC hot electrons were well described by the non-interacting Fermi gas model for excitations up to 1.5 meV above the Fermi level of 7.44 meV, whereas QD hot electrons exhibited an energy loss quadratic to the excitation. The energy relaxation was a sizeable fraction of the tested excitations, up to about 55%. With the proposal that the hot electrons are relaxed by the QD immediately after emission, we present a toy model in which a capacitive coupling between the QD and its leads results in a finite, ultrafast energy relaxation.


title: High-resolution optical spectroscopic observations of comet 21P/Giacobini-Zinner in Its 2018 apparition

abstract: Comet 21P/Giacobini-Zinner is a peculiar comet from the viewpoints of the chemical and physical properties of its dust grains. We conduct optical high-resolution spectroscopic observations of the comet. The intensity ratios of forbidden oxygen lines (at 557.7, 630.0, and 636.4 nm) and ortho-to-para abundance ratios (OPRs) of water cations (H$_2$O$^+$) and amidogen radicals (NH$_2$) are obtained while only the upper limit for $^{14}$N/$^{15}$N in the amidogen radical is restricted. The OPRs of H$_2$O$^+$ and NH$_2$ are similar to those of other comets, although the real meaning of these OPRs is still debated. Based on the observation of the forbidden emission lines of oxygen atoms, it can be concluded that the comet is depleted in CO$_2$. In consideration with the depletion in other highly volatile species found in the near-infrared region and the presence of complex organics in comet 21P/Giacobini-Zinner, this comet might form in a warmer region in the solar nebula compared with other comets.


title: Early decarbonisation of the European energy system pays off

abstract: For a given carbon budget over several decades, different transformation rates for the energy system yield starkly different results. Here we consider a budget of 33 GtCO2 for the cumulative carbon dioxide emissions from the European electricity, heating, and transport sectors between 2020 and 2050, which represents Europe's contribution to the Paris Agreement. We have found that following an early and steady path in which emissions are strongly reduced in the first decade is more cost-effective than following a late and rapid path in which low initial reduction targets quickly deplete the carbon budget and require a sharp reduction later. We show that solar photovoltaic, onshore and offshore wind can become the cornerstone of a fully decarbonised energy system and that installation rates similar to historical maxima are required to achieve timely decarbonisation. Key to those results is a proper representation of existing balancing strategies through an open, hourly-resolved, networked model of the sector-coupled European energy system.


title: AF-embeddability for Lie groups with $T_1$ primitive ideal spaces

abstract: We study simply connected Lie groups $G$ for which the hull-kernel topology of the primitive ideal space $\text{Prim}(G)$ of the group $C^*$-algebra $C^*(G)$ is $T_1$, that is, the finite subsets of $\text{Prim}(G)$ are closed. Thus, we prove that $C^*(G)$ is AF-embeddable. To this end, we show that if $G$ is solvable and its action on the centre of $[G, G]$ has at least one imaginary weight, then $\text{Prim}(G)$ has no nonempty quasi-compact open subsets. We prove in addition that connected locally compact groups with $T_1$ ideal spaces are strongly quasi-diagonal.


title: Valley caloritronics in a photodriven hetero-junction of Dirac materials

abstract: We consider a lateral hetero-junction where the left and right leads are made of monolayer graphene and the middle region is made of a gapped tilted Dirac material (borophene or quinoid graphene) illuminated with off-resonant circularly polarized radiation. The tilt parameter $v_t$ makes the band gap indirect and smaller in magnitude as compared to Dirac materials without tilt. Exposure to radiation makes the band gaps of the central region valley-dependent which show their signatures as valley polarized charge and thermal currents, thereby causing a valley Seebeck effect. We study the variation of the valley polarized electrical conductance, thermal conductance, thermopower and figure of merit of this junction with chemical potential $\mu$ and a tunable gap parameter $\eta$. For non-zero $\eta$, all the valley polarized quantities are peaked at certain values of chemical potential and then vanish asymptotically. Increase in gap parameter enhances the valley thermopower and valley figure of merit, whereas the valley conductances (electrical and thermal) show non monotonic behavior with $\eta$. We also compare the valley polarized quantities with their corresponding charge counterparts (effective contribution from both the valleys). The charge thermopower and the charge figure of merit behave non monotonically with $\eta$ and the charge conductances (electrical and thermal) depict a decreasing trend with $\eta$. Furthermore, the tilt parameter reduces the effective transmission of carriers through the junction, thereby diminishing all the charge and valley polarized quantities. As the gaps in the dispersion can be adjusted by varying the intensity of light as well as the Semenoff mass, the tunability of this junction with regard to its thermoelectric properties may be experimentally realizable.


title: ByteSing: A Chinese Singing Voice Synthesis System Using Duration Allocated Encoder-Decoder Acoustic Models and WaveRNN Vocoders

abstract: This paper presents ByteSing, a Chinese singing voice synthesis (SVS) system based on duration allocated Tacotron-like acoustic models and WaveRNN neural vocoders. Different from the conventional SVS models, the proposed ByteSing employs Tacotron-like encoder-decoder structures as the acoustic models, in which the CBHG models and recurrent neural networks (RNNs) are explored as encoders and decoders respectively. Meanwhile an auxiliary phoneme duration prediction model is utilized to expand the input sequence, which can enhance the model controllable capacity, model stability and tempo prediction accuracy. WaveRNN neural vocoders are also adopted as neural vocoders to further improve the voice quality of synthesized songs. Both objective and subjective experimental results prove that the SVS method proposed in this paper can produce quite natural, expressive and high-fidelity songs by improving the pitch and spectrogram prediction accuracy and the models using attention mechanism can achieve best performance.


title: Barometric Pressure Correction to Gamma-ray Observations and its Energy Dependence

abstract: Cosmic rays (CRs) have been studied extensively in the last century to understand the processes in the universe as well as in the solar system. In today's satellite era, although many observations are made from space, CR observations from the ground are still viewed as an important tool. These observations, however, mostly detect the secondary cosmic rays (SCRs) such as neutron, muon, and gamma. It is well known that the atmospheric pressure plays an important role in the SCR flux observed on the ground. Barometric pressure correction is standard practice for neutron monitor (NM) data. However, no such correction is applied to gamma-ray, being massless. But the pressure affects the particles such as $e^{\pm}$, $\mu^{\pm}$, which produce gamma rays in the cascade. Subsequently, the indirect pressure dependence of the gamma-ray flux can be anticipated. We examine this aspect in detail by studying the gamma-ray counts detected by the NaI (Tl) detector. The present study confirms that there is no correlation between the atmospheric pressure and the total gamma-ray counts collected from all energies. However, the scenario differs when the gamma-ray fluxes of different energies are investigated separately. The gamma rays of energy below $\sim$3 MeV are primarily due to the radioactivity originating from the ground, whereas gamma rays above 3 MeV are mainly produced in the CR cascade. It is observed that the counts of energy above 3 MeV are well anti-correlated with the atmospheric pressure and hence need to be corrected. It is demonstrated that applying the barometric correction formula successfully removes the pressure dependence in the gamma-ray flux above 3 MeV. Therefore, we suggest that the gamma-ray data above 3 MeV needs to be corrected for the local atmospheric pressure variations.


title: Spectrum collapse of disordered Dirac Landau levels as topological non-Hermitian physics

abstract: We investigate disorder effects on Landau levels in Dirac electron systems with the use of a non-Hermitian quasiparticle Hamiltonian formalism. This formalism reveals that spin-dependent scattering rates induce the spectrum collapse of Landau levels, i.e., the disappearance of the energy gaps between n-th and -n-th levels under a finite external magnetic field. The spectrum collapse occurs in both weak and strong magnetic field regimes, thus showing a reentrant behavior. Particularly, in the strong magnetic field regime, in contrast to naive expectation, the increase of a magnetic field stabilizes the spectrum collapse of Dirac Landau levels. Furthermore, it is revealed that the spectrum collapse is associated with the emergence of a vortex texture with a topological winding number of a complex energy spectrum of the non-Hermitian system.


title: Encoding Power Traces as Images for Efficient Side-Channel Analysis

abstract: Side-Channel Attacks (SCAs) are a powerful method to attack implementations of cryptographic algorithms. State-of-the-art techniques such as template attacks and stochastic models usually require a lot of manual preprocessing and feature extraction by the attacker. Deep Learning (DL) methods have been introduced to simplify SCAs and simultaneously lowering the amount of required side-channel traces for a successful attack. However, the general success of DL is largely driven by their capability to classify images, a field in which they easily outperform humans. In this paper, we present a novel technique to interpret 1D traces as 2D images. We show and compare several techniques to transform power traces into images, and apply these on different implementations of the Advanced Encryption Standard (AES). By allowing the neural network to interpret the trace as an image, we are able to significantly reduce the number of required attack traces for a correct key guess.We also demonstrate that the attack efficiency can be improved by using multiple 2D images in the depth channel as an input. Furthermore, by applying image-based data augmentation, we show how the number of profiling traces is reduced by a factor of 50 while simultaneously enhancing the attack performance. This is a crucial improvement, as the amount of traces that can be recorded by an attacker is often very limited in real-life applications.


title: Critical behavior of charge-regulated macro-ions

abstract: Based on a collective description of electrolytes composed of charge-regulated macro-ions and simple salt ions, we analyze their equilibrium charge state in the bulk and their behavior in the vicinity of an external electrified surface. The mean-field formulation of mobile macro-ions in an electrolyte bathing solution is extended to include interactions between association/dissociation sites. We demonstrate that above a critical concentration of salt, and similar to the critical micelle concentration, a non-trivial distribution of charge states sets in. Such a charge state can eventually lead to a liquid-liquid phase separation based on charge regulation.


title: Learning for Advanced Motion Control

abstract: Iterative Learning Control (ILC) can achieve perfect tracking performance for mechatronic systems. The aim of this paper is to present an ILC design tutorial for industrial mechatronic systems. First, a preliminary analysis reveals the potential performance improvement of ILC prior to its actual implementation. Second, a frequency domain approach is presented, where fast learning is achieved through noncausal model inversion, and safe and robust learning is achieved by employing a contraction mapping theorem in conjunction with nonparametric frequency response functions. The approach is demonstrated on a desktop printer. Finally, a detailed analysis of industrial motion systems leads to several shortcomings that obstruct the widespread implementation of ILC algorithms. An overview of recently developed algorithms, including extensions using machine learning algorithms, is outlined that are aimed to facilitate broad industrial deployment.


title: Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design

abstract: Despite many successful applications, Cartesian Genetic Programming (CGP) suffers from limited scalability, especially when used for evolutionary circuit design. Considering the multiplier design problem, for example, the 5x5-bit multiplier represents the most complex circuit evolved from a randomly generated initial population. The efficiency of CGP highly depends on the performance of the point mutation operator, however, this operator is purely stochastic. This contrasts with the recent developments in Genetic Programming (GP), where advanced informed approaches such as semantic-aware operators are incorporated to improve the search space exploration capability of GP. In this paper, we propose a semantically-oriented mutation operator (SOMO) suitable for the evolutionary design of combinational circuits. SOMO uses semantics to determine the best value for each mutated gene. Compared to the common CGP and its variants as well as the recent versions of Semantic GP, the proposed method converges on common Boolean benchmarks substantially faster while keeping the phenotype size relatively small. The successfully evolved instances presented in this paper include 10-bit parity, 10+10-bit adder and 5x5-bit multiplier. The most complex circuits were evolved in less than one hour with a single-thread implementation running on a common CPU.


title: Dynamic Fusion Network for Multi-Domain End-to-end Task-Oriented Dialog

abstract: Recent studies have shown remarkable success in end-to-end task-oriented dialog system. However, most neural models rely on large training data, which are only available for a certain number of task domains, such as navigation and scheduling. This makes it difficult to scalable for a new domain with limited labeled data. However, there has been relatively little research on how to effectively use data from all domains to improve the performance of each domain and also unseen domains. To this end, we investigate methods that can make explicit use of domain knowledge and introduce a shared-private network to learn shared and specific knowledge. In addition, we propose a novel Dynamic Fusion Network (DF-Net) which automatically exploit the relevance between the target domain and each domain. Results show that our model outperforms existing methods on multi-domain dialogue, giving the state-of-the-art in the literature. Besides, with little training data, we show its transferability by outperforming prior best model by 13.9\% on average.


title: SimUSR: A Simple but Strong Baseline for Unsupervised Image Super-resolution

abstract: In this paper, we tackle a fully unsupervised super-resolution problem, i.e., neither paired images nor ground truth HR images. We assume that low resolution (LR) images are relatively easy to collect compared to high resolution (HR) images. By allowing multiple LR images, we build a set of pseudo pairs by denoising and downsampling LR images and cast the original unsupervised problem into a supervised learning problem but in one level lower. Though this line of study is easy to think of and thus should have been investigated prior to any complicated unsupervised methods, surprisingly, there are currently none. Even more, we show that this simple method outperforms the state-of-the-art unsupervised method with a dramatically shorter latency at runtime, and significantly reduces the gap to the HR supervised models. We submitted our method in NTIRE 2020 super-resolution challenge and won 1st in PSNR, 2nd in SSIM, and 13th in LPIPS. This simple method should be used as the baseline to beat in the future, especially when multiple LR images are allowed during the training phase. However, even in the zero-shot condition, we argue that this method can serve as a useful baseline to see the gap between supervised and unsupervised frameworks.


title: Virtual SAR: A Synthetic Dataset for Deep Learning based Speckle Noise Reduction Algorithms

abstract: Synthetic Aperture Radar (SAR) images contain a huge amount of information, however, the number of practical use-cases is limited due to the presence of speckle noise in them. In recent years, deep learning based techniques have brought significant improvement in the domain of denoising and image restoration. However, further research has been hampered by the lack of availability of data suitable for training deep neural network based systems. With this paper, we propose a standard way of generating synthetic data for the training of speckle reduction algorithms and demonstrate a use-case to advance research in this domain.


title: Long-Short Term Spatiotemporal Tensor Prediction for Passenger Flow Profile

abstract: Spatiotemporal data is very common in many applications, such as manufacturing systems and transportation systems. It is typically difficult to be accurately predicted given intrinsic complex spatial and temporal correlations. Most of the existing methods based on various statistical models and regularization terms, fail to preserve innate features in data alongside their complex correlations. In this paper, we focus on a tensor-based prediction and propose several practical techniques to improve prediction. For long-term prediction specifically, we propose the "Tensor Decomposition + 2-Dimensional Auto-Regressive Moving Average (2D-ARMA)" model, and an effective way to update prediction real-time; For short-term prediction, we propose to conduct tensor completion based on tensor clustering to avoid oversimplifying and ensure accuracy. A case study based on the metro passenger flow data is conducted to demonstrate the improved performance.


title: Extended phase space thermodynamics for Bardeen black holes in massive gravity

abstract: This paper presents an exact solution of Bardeen black hole in presence of massive gravity, which is characterized by the additional parameter $m$. Here, we focus on $4D$ Bardeen AdS massive black hole solutions as example to discuss the thermodynamical properties such as temperature, entropy and specific heat at constant pressure. We also study the critical behaviour of Bardeen AdS massive black holes by considering the cosmological constant $\Lambda$ as thermodynamical variable (pressure) as well as the parameter associated with the nonlinear electrodynamics. We calculate the critical value of pressure and temperature and study the effect of magnetic charge $e$ and mass parameter $m$. It is seen that the thermodynamical volume are the independent of mass parameter $m$. The critical values are the one in which phase transition takes place and the nature of mass parameter $m$ and magnetic charge $e$ are opposite to each other. The critical temperature and pressure were highly sensitive for these parameters.


title: Derivatives of symplectic eigenvalues and a Lidskii type theorem

abstract: Associated with every $2n\times 2n$ real positive definite matrix $A,$ there exist $n$ positive numbers called the symplectic eigenvalues of $A,$ and a basis of $\mathbb{R}^{2n}$ called the symplectic eigenbasis of $A$ corresponding to these numbers. In this paper, we discuss the differentiability (analyticity) of the symplectic eigenvalues and corresponding symplectic eigenbasis for differentiable (analytic) map $t\mapsto A(t),$ and compute their derivatives. We then derive an analogue of Lidskii's theorem for symplectic eigenvalues as an application.


title: On quasi norm attaining operators between Banach spaces

abstract: We introduce a weakened notion of norm attainment for bounded linear operators between Banach spaces which we call \emph{quasi norm attaining operators}. An operator $T\colon X \longrightarrow Y$ between the Banach spaces $X$ and $Y$ is quasi norm attaining if there is a sequence $(x_n)$ of norm one elements in $X$ such that $(Tx_n)$ converges to some $u\in Y$ with $\|u\|=\|T\|$. Norm attaining operators in the usual sense (i.e.\ operators for which there is a point in the unit ball where the norm of its image equals the norm of the operator) and compact operators satisfy this definition. The main result of the paper is that strong Radon-Nikod\'ym operators such as weakly compact operators can be approximated by quasi norm attaining operators (even by a stronger version of the definition), which does not hold for norm attaining operators. This allows us to give characterizations of the Radon-Nikod\'ym property in term of the denseness of quasi norm attaining operators for both domain spaces and range spaces, extending previous results by Bourgain and Huff. We also present positive and negative results on the denseness of quasi norm attaining operators, characterize both finite dimensionality and reflexivity in terms of quasi norm attaining operators, discuss conditions to obtain that quasi norm attaining operators are actually norm attaining, study the relationship with the norm attainment of the adjoint operator, and present some stability properties. We finish the paper with some open questions.


title: QURIOUS: Question Generation Pretraining for Text Generation

abstract: Recent trends in natural language processing using pretraining have shifted focus towards pretraining and fine-tuning approaches for text generation. Often the focus has been on task-agnostic approaches that generalize the language modeling objective. We propose question generation as a pretraining method, which better aligns with the text generation objectives. Our text generation models pretrained with this method are better at understanding the essence of the input and are better language models for the target task. When evaluated on two text generation tasks, abstractive summarization and answer-focused question generation, our models result in state-of-the-art performances in terms of automatic metrics. Human evaluators also found our summaries and generated questions to be more natural, concise and informative.


title: BIRTH of the COSMOS Field: Primordial and Evolved Density Reconstructions During Cosmic High Noon

abstract: This work presents the first comprehensive study of structure formation at the peak epoch of cosmic star formation over $1.4\leq z \leq 3.6$ in the COSMOS field, including the most massive high redshift galaxy proto-clusters at that era. We apply the extended COSMIC BIRTH algorithm to account for a multi-tracer and multi-survey Bayesian analysis at Lagrangian initial cosmic times. Combining the data of five different spectroscopic redshift surveys (zCOSMOS-deep, VUDS, MOSDEF, ZFIRE, and FMOS-COSMOS), we show that the corresponding unbiased primordial density fields can be inferred, if a proper survey completeness computation from the parent photometric catalogs, and a precise treatment of the non-linear and non-local evolution on the light-cone is taken into account, including (i) gravitational matter displacements, (ii) peculiar velocities, and (iii) galaxy bias. The reconstructions reveal a holistic view on the known proto-clusters in the COSMOS field and the growth of the cosmic web towards lower redshifts. The inferred distant dark matter density fields concurrently with other probes like tomographic reconstructions of the intergalactic medium will explore the interplay of gas and dark matter and are ideally suited to study structure formation at high redshifts in the light of upcoming deep surveys.


title: Transition from large-scale to small-scale dynamo

abstract: The dynamo equations are solved numerically with a helical forcing corresponding to the Roberts flow. In the fully turbulent regime the flow behaves as a Roberts flow on long time scales, plus turbulent fluctuations at short time scales. The dynamo onset is controlled by the long time scales of the flow, in agreement with the former Karlsruhe experimental results. The dynamo mechanism is governed by a generalized $\alpha$-effect which includes both usual $\alpha$-effect and turbulent diffusion, plus all higher order effects. Beyond the onset we find that this generalized $\alpha$-effect scales as $O(Rm^{-1})$ suggesting the take-over of small-scale dynamo action. This is confirmed by simulations in which dynamo occurs even if the large-scale field is artificially suppressed.

categories: physics.flu-dyn astro-ph.SR physics.geo-ph physics.plasm-ph


title: Diophantine problems related to the Omega constant

abstract: Some diophantine problems are stated for the Omega constant and, more generally, the values of Lambert $W$-function and their $p$-adic extensions.

categories: math.NT cs.NA math.CA math.CO math.HO math.NA


title: Non-Equilibrium Dynamics and Weakly Broken Integrability

abstract: Motivated by dynamical experiments on cold atomic gases, we develop a quantum kinetic approach to weakly perturbed integrable models out of equilibrium. Using the exact matrix elements of the underlying integrable model we establish an analytical approach to real-time dynamics. The method addresses a broad range of timescales, from the intermediate regime of pre-thermalization to late-time thermalization. Predictions are given for the time-evolution of physical quantities, including effective temperatures and thermalization rates. The approach provides conceptual links between perturbed quantum many-body dynamics and classical Kolmogorov-Arnold-Moser (KAM) theory. In particular, we identify a family of perturbations which do not cause thermalization in the weakly perturbed regime.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Data-driven study of the implications of anomalous magnetic moments and lepton flavor violating processes of $e$, $\mu$ and $\tau$

abstract: We study anomalous magnetic moments and flavor violating processes of $e$, $\mu$ and $\tau$ leptons. We use a data driven approach to investigate the implications of the present data on the parameters of a class of models, which has spin-0 scalar and spin-1/2 fermion fields. We compare two different cases, which has or does not have a built-in cancelation mechanism. Our findings are as following. Chiral interactions are unable to generate large enough $\Delta a_e$ and $\Delta a_\mu$ to accommodate the experimental results. Sizable $\Delta a_e$ and $\Delta a_\mu$ can be generated from non-chiral interactions, but they are not contributed from the same source. The upper limit of $\mu\to e\gamma$ decay gives the most severe constraints on photonic penguin contributions in $\mu\to e$ transitions, but the situation may change in considering future experimental sensitivities. The $Z$-penguin diagrams can constrain chiral interaction better than photonic penguin diagrams in $\mu\to e$ transitions. In most of the parameter space, box contributions to $\mu\to 3e$ decay are subleading. In $\tau\to e$ $(\mu)$ transitions, the present $\tau\to e\gamma$ $(\mu \gamma)$ upper limit constrains the photonic penguin contribution better than the $\tau\to 3 e$ $(3\mu)$ upper limit, and $Z$-penguin amplitudes constrain chiral interaction better than photonic penguin amplitudes. Box contributions to $\tau\to 3e$ and $\tau\to 3\mu$ decays can sometime be comparable to $Z$-penguin contributions. The $\tau^-\to e^- \mu^+ e^-$ and $\tau^-\to \mu^- e^+ \mu^-$ rates are highly constrained by $\tau\to e\gamma$, $\mu\to e\gamma$ and $\tau\to \mu\gamma$, $\mu\to e\gamma$ upper limits, respectively. We compare the current experimental upper limits, future sensitivities and bounds from consistency on various muon and tau LFV processes.


title: Hyperreflexivity of the space of module homomorphisms between non-commutative $L^p$-spaces

abstract: Let $\mathcal{M}$ be a von Neumann algebra, and let $0<p,q\le\infty$. Then the space $\Hom_\mathcal{M}(L^p(\mathcal{M}),L^q(\mathcal{M}))$ of all right $\mathcal{M}$-module homomorphisms from $L^p(\mathcal{M})$ to $L^q(\mathcal{M})$ is a reflexive subspace of the space of all continuous linear maps from $L^p(\mathcal{M})$ to $L^q(\mathcal{M})$. Further, the space $\Hom_\mathcal{M}(L^p(\mathcal{M}),L^q(\mathcal{M}))$ is hyperreflexive in each of the following cases: (i) $1\le q<p\le\infty$; (ii) $1\le p,q\le\infty$ and $\mathcal{M}$ is injective, in which case the hyperreflexivity constant is at most $8$.


title: A simple numerical method of second and third orders convergence for solving a fully third order nonlinear boundary value problem

abstract: In this paper we consider a fully third order nonlinear boundary value problem which is of great interest of many researchers. First we establish the existence, uniqueness of solution. Next, we propose simple iterative methods on both continuous and discrete levels. We prove that the discrete methods are of second order and third accuracy due to the use of appropriate formulas for numerical integration and obtain estimate for total error. Some examples demonstrate the validity of the obtained theoretical results and the efficiency of the iterative method.


title: The Stochastic Tamed MHD Equations -- Existence, Uniqueness and Invariant Measures

abstract: We study the tamed magnetohydrodynamics equations, introduced recently in a paper by the author, perturbed by multiplicative Wiener noise of transport type on the whole space $\mathbb{R}^{3}$ and on the torus $\mathbb{T}^{3}$. In a first step, existence of a unique strong solution are established by constructing a weak solution, proving that pathwise uniqueness holds and using the Yamada-Watanabe theorem. We then study the associated Markov semigroup and prove that it has the Feller property. Finally, existence of an invariant measure of the equation is shown for the case of the torus.


title: Joint Radar Target Detection and Parameter Estimation with MIMO OTFS

abstract: Motivated by future automotive applications, we study the joint target detection and parameter estimation problem using orthogonal time frequency space (OTFS), a digital modulation format robust to time-frequency selective channels. Assuming the transmitter is equipped with a mono-static MIMO radar, we propose an efficient maximum likelihood based approach to detect targets and estimate the corresponding delay, Doppler, and angle-of-arrival parameters. In order to reduce the computational complexity associated to the high-dimensional search, our scheme proceeds in two steps, i.e., target detection and coarse parameter estimation followed by refined parameter estimation. Interestingly, our numerical results demonstrate that the proposed scheme is able to identify multiple targets if they are separated in at least one domain out of three (delay, Doppler, and angle), while achieving the Cram\'er-Rao lower bound for the parameter estimation.


title: Optical activity in weakly coupled nonorods

abstract: We introduce a matrix method and we derive a formula for phase retardation effects in plasmonic systems. We analyze the circular dichroic response (CD) of two orthogonal Au nanorods in detail and we show that, although, theoretically, circular dichroism for forward scattering is directly proportional to the dipole-dipole interaction between the particles, CD response of the system can be much greater in weak coupling due to the trade off between two different types of phases.


title: Benchmarking near-term devices with quantum error correction

abstract: Now that ever more sophisticated devices for quantum computing are being developed, we require ever more sophisticated benchmarks. This includes a need to determine how well these devices support the techniques required for quantum error correction. In this paper we introduce the \texttt{topological\_codes} module of Qiskit-Ignis, which is designed to provide the tools necessary to perform such tests. Specifically, we use the \texttt{RepetitionCode} and \texttt{GraphDecoder} classes to run tests based on the repetition code and process the results. As an example, data from a 43 qubit code running on IBM's \emph{Rochester} device is presented.


title: Tensor network based machine learning of non-Markovian quantum processes

abstract: We show how to learn structures of generic, non-Markovian, quantum stochastic processes using a tensor network based machine learning algorithm. We do this by representing the process as a matrix product operator (MPO) and train it with a database of local input states at different times and the corresponding time-nonlocal output state. In particular, we analyze a qubit coupled to an environment and predict output state of the system at different time, as well as reconstruct the full system process. We show how the bond dimension of the MPO, a measure of non-Markovianity, depends on the properties of the system, of the environment and of their interaction. Hence, this study opens the way to a possible experimental investigation into the process tensor and its properties.


title: Team Performance Evaluation Model based on Network Feature Extraction

abstract: Teamwork is increasingly important in today's society. This paper aims at the problem of team performance evaluation. Through complex network feature extraction, we establishes the passing network and team performance evaluation model. Finally, this paper proposes strategy for Huskies team and extend the model to the general team.


title: Multithreaded event-chain Monte Carlo with local times

abstract: We present a multithreaded event-chain Monte Carlo algorithm (ECMC) for hard spheres. Threads synchronize at infrequent breakpoints and otherwise scan for local horizon violations. Using a mapping onto absorbing Markov chains, we rigorously prove the correctness of a sequential-consistency implementation for small test suites. On x86 and ARM processors, a C++ (OpenMP) implementation that uses compare-and-swap primitives for data access achieves considerable speed-up with respect to single-threaded code. The generalized birthday problem suggests that for the number of threads scaling as the square root of the number of spheres, the horizon-violation probability remains small for a fixed simulation time. We provide C++ and Python open-source code that reproduces all our results.


title: Run-and-Tumble particle in inhomogeneous media in one dimension

abstract: We investigate the run and tumble particle (RTP), also known as persistent Brownian motion, in one dimension. A telegraphic noise $\sigma(t)$ drives the particle which changes between $\pm 1$ values with some rates. Denoting the rate of flip from $1$ to $-1$ as $R_1$ and the converse rate as $R_2$, we consider the position and direction dependent rates of the form $R_1(x)=\left(\frac{\mid x \mid}{l}\right) ^{\alpha}\left[\gamma_1~\theta(x)+\gamma_2 ~\theta (-x)\right]$ and $R_2(x)=\left(\frac{\mid x \mid}{l}\right) ^{\alpha}\left[\gamma_2~\theta(x)+\gamma_1 ~\theta (-x)\right]$ with $\alpha \geq 0$. For $\gamma_1 >\gamma_2$, we find that the particle exhibits a steady-state probability distriution even in an infinite line whose exact form depends on $\alpha$. For $\alpha =0$ and $1$, we solve the master equations exactly for arbitrary $\gamma_1$ and $\gamma_2$ at large $t$. From our explicit expression for time-dependent probability distribution $P(x,t)$ we find that it exponentially relaxes to the steady-state distribution for $\gamma_1 > \gamma_2$. On the other hand, for $\gamma_1<\gamma_2$, the large $t$ behaviour of $P(x,t)$ is drastically different than $\gamma_1=\gamma_2$ case where the distribution decays as $t^{-\frac{1}{2}}$. Contrary to the latter, detailed balance is not obeyed by the particle even at large $t$ in the former case. For general $\alpha$, we argue that the approach to the steady state in $\gamma_1>\gamma_2$ case is exponential which we numerically demonstrate....


title: Spreading and vanishing for a monostable reaction-diffusion equation with forced speed

abstract: Invasion phenomena for heterogeneous reaction-diffusion equations are contemporary and challenging questions in applied mathematics. In this paper we are interested in the question of spreading for a reaction-diffusion equation when the subdomain where the reaction term is positive is shifting/contracting at a given speed $c$. This problem arises in particular in the modelling of the impact of climate change on population dynamics. By placing ourselves in the appropriate moving frame, this leads us to consider a reaction-diffusion-advection equation with a heterogeneous in space reaction term, in dimension $N\geq1$. We investigate the behaviour of the solution $u$ depending on the value of the advection constant~$c$, which typically stands for the velocity of climate change. We find that, when the initial datum is compactly supported, there exists precisely three ranges for $c$ leading to drastically different situations. In the lower speed range the solution always spreads, while in the upper range it always vanishes. More surprisingly, we find that that both spreading and vanishing may occur in an intermediate speed range. The threshold between those two outcomes is always sharp, both with respect to $c$ and to the initial condition. We also briefly consider the case of an exponentially decreasing initial condition, where we relate the decreasing rate of the initial condition with the range of values of~$c$ such that spreading occurs.


title: Carrier Drift Control of Spin Currents in Graphene-Based Spin-Current Demultiplexers

abstract: Electrical control of spin transport is promising for achieving new device functionalities. Here we calculate the propagation of spin currents in a graphene-based spin-current demultiplexer under the effect of drift currents. We show that, using spin- and charge-transport parameters already obtained in experiments, the spin currents can be guided in a controlled way. In particular, spin-current selectivities up to 102 can be achieved for measurements over a distance of 10{\mu}m under a moderate drift current density of 20{\mu}A/{\mu}m, meaning that the spin current in the arm that is off is only 1% of the current in the arm that is on. To illustrate the versatility of this approach, we show similar efficiencies in a device with four outputs and the possibility of multiplexer operation using spin drift. Finally, we explain how the effect can be optimized in graphene and two-dimensional semiconductors.


title: BOLD: An Ontology-based Log Debugger for C Programs

abstract: The different activities related to debugging such as program instrumentation, representation of execution trace and analysis of trace are not typically performed in an unified framework. We propose \textit{BOLD}, an Ontology-based Log Debugger to unify and standardize the activities in debugging. The syntactical information of programs can be represented in the from of Resource Description Framework (RDF) triples. Using the BOLD framework, the programs can be automatically instrumented by using declarative specifications over these triples. A salient feature of the framework is to store the execution trace of the program also as RDF triples called \textit{trace triples}. These triples can be queried to implement the common debug operations. The novelty of the framework is to abstract these triples as \textit{spans} for high-level reasoning. A span gives a way of examining the values of a particular variable over certain portion of the program execution. The properties of the spans are defined formally as a Web Ontology Language (OWL) ontology called \textit{Program Debug (PD) Ontology}. Using the span abstraction and PD ontology, end-users can debug a given buggy program in a standard manner. A notable feature of using ontology is that users can accurately debug in some cases of missing information, which can be practically useful. To demonstrate the feasibility of the proposed framework, we have debugged the programs in a standard bug benchmark suite Software-artifact Infrastructure Repository (SIR). Experiments show that the querying time is almost the same as in \texttt{gdb}. The reasoning time depends on the sub-language of OWL. We find that the expressibility offered by OWL-DL language is sufficient for the bugs in SIR programs; but to achieve scalability in reasoning, a restricted OWL-RL language is required.