title: Krylov-Simplex method that minimizes the residual in $\ell_1$-norm or $\ell_\infty$-norm

abstract: The paper presents two variants of a Krylov-Simplex iterative method that combines Krylov and simplex iterations to minimize the residual $r = b-Ax$. The first method minimizes $\|r\|_\infty$, i.e. maximum of the absolute residuals. The second minimizes $\|r\|_1$, and finds the solution with the least absolute residuals. Both methods search for an optimal solution $x_k$ in a Krylov subspace which results in a small linear programming problem. A specialized simplex algorithm solves this projected problem and finds the optimal linear combination of Krylov basis vectors to approximate the solution. The resulting simplex algorithm requires the solution of a series of small dense linear systems that only differ by rank-one updates. The $QR$ factorization of these matrices is updated each iteration. We demonstrate the effectiveness of the methods with numerical experiments.


title: Importance of electronic correlations for the magnetic properties of the two-dimensional ferromagnet CoBr$_2$

abstract: We investigate the emergence of ferromagnetism in the two-dimensional metal-halide CoBr$_2$, with a special focus on the role of electronic correlations. The calculated phonon spectrum shows that the system is thermodynamically stable unlike other Co halides. We apply two well-known methods for the estimation of the Curie temperature. First, we do DFT+U calculations to calculate exchange couplings, which are subsequently used in a classical Monte Carlo simulation of the resulting Ising spin model. The transition temperature calculated in this way is in the order of 100 K, but shows a strong dependence on the choice of interaction parameters. Second, we apply dynamical mean-field theory to calculate the correlated electronic structure and estimate the transition temperature.This results in a similar estimate for a noticeable transition temperature of approximately 100 K,however, without the strong dependence on the interaction parameters. The effect of electron-electron interactions are strongly orbital selective, with only moderate correlations in the three low-lying orbitals (one doublet plus one singlet), and strong correlations in the doublet at higher energy. This can be traced back to the electronic occupation in DMFT, with five electrons in the three low-lying orbitals and two electrons in the high-energy doublet, making the latter one half-filled. Nevertheless, the overall spectral gap is governed by the small gap originating from the low-lying doublet+singlet orbitals, which changes very weakly with interaction U. In that sense,the system is close to a Mott metal-to-insulator transition, which has been shown previously to be a hot-spot for strong magnetism.


title: Spectrum Sharing for 6G Integrated Satellite-Terrestrial Communication Networks Based on NOMA and Cognitive Radio

abstract: The explosive growth of bandwidth hungry Internet applications has led to the rapid development of new generation mobile network technologies that are expected to provide broadband access to the Internet in a pervasive manner. For example, 6G networks are capable of providing high-speed network access by exploiting higher frequency spectrum; high-throughout satellite communication services are also adopted to achieve pervasive coverage in remote and isolated areas. In order to enable seamless access, Integrated Satellite-Terrestrial Communication Networks (ISTCN) has emerged as an important research area. ISTCN aims to provide high speed and pervasive network services by integrating broadband terrestrial mobile networks with satellite communication networks. As terrestrial mobile networks began to use higher frequency spectrum (between 3GHz to 40GHz) which overlaps with that of satellite communication (4GHz to 8GHz for C band and 26GHz to 40GHz for Ka band), there are opportunities and challenges. On one hand, satellite terminals can potentially access terrestrial networks in an integrated manner; on the other hand, there will be more congestion and interference in this spectrum, hence more efficient spectrum management techniques are required. In this paper, we propose a new technique to improve spectrum sharing performance by introducing Non-orthogonal Frequency Division Multiplexing (NOMA) and Cognitive Radio (CR) in the spectrum sharing of ISTCN. In essence, NOMA technology improves spectrum efficiency by allowing different users to transmit on the same carrier and distinguishing users by user power levels while CR technology improves spectrum efficiency through dynamic spectrum sharing. Furthermore, some open researches and challenges in ISTCN will be discussed.


title: On modules over the mod 2 Steenrod algebra and hit problems

abstract: Let us consider the prime field of two elements, $\mathbb F_2\equiv \mathbb Z_2.$ It is well-known that the classical "hit problem" for a module over the mod 2 Steenrod algebra $\mathscr A$ is an interesting and important open problem of Algebraic topology, which asks a minimal set of generators for the polynomial algebra $\mathcal P_m:=\mathbb F_2[x_1, x_2, \ldots, x_m]$, regarded as a connected unstable $\mathscr A$-module on $m$ variables $x_1, \ldots, x_m,$ each of degree 1. The algebra $\mathcal P_m$ is the $\mathbb F_2$-cohomology of the product of $m$ copies of the Eilenberg-MacLan complex $K(\mathbb F_2, 1).$ Although the hit problem has been thoroughly studied for more than 3 decades, solving it remains a mystery for $m\geq 5.$ Our intent in this work is of studying the hit problem of five variables. More precisely, we develop our previous work [Commun. Korean Math. Soc. 35 (2020), 371-399] on the hit problem for $\mathscr A$-module $\mathcal P_5$ in a degree of the generic form $n_t:=5(2^t-1) + 18.2^t,$ for any non-negative integer $t.$ An efficient approach to solve this problem had been presented. Two applications of this study are to determine the dimension of $\mathcal P_6$ in the generic degree $5(2^{t+4}-1) + n_1.2^{t+4}$ for all $t > 0$ and to describe the modular representations of the general linear group of rank 5 over $\mathbb F_2.$ As a corollary, the cohomological "transfer", defined by William Singer [Math. Z. 202 (1989), 493-523], is an isomorphism in bidegree $(5, 5+n_0).$ Singer's transfer is one of the relatively efficient tools to approach the structure of mod-2 cohomology of the Steenrod algebra.


title: Recent Trends in Named Entity Recognition (NER)

abstract: The availability of large amounts of computer-readable textual data and hardware that can process the data has shifted the focus of knowledge projects towards deep learning architecture. Natural Language Processing, particularly the task of Named Entity Recognition is no exception. The bulk of the learning methods that have produced state-of-the-art results have changed the deep learning model, the training method used, the training data itself or the encoding of the output of the NER system. In this paper, we review significant learning methods that have been employed for NER in the recent past and how they came about from the linear learning methods of the past. We also cover the progress of related tasks that are upstream or downstream to NER, e.g., sequence tagging, entity linking, etc., wherever the processes in question have also improved NER results.


title: Deriving monadic quicksort (Declarative Pearl)

abstract: To demonstrate derivation of monadic programs, we present a specification of sorting using the non-determinism monad, and derive pure quicksort on lists and state-monadic quicksort on arrays. In the derivation one may switch between point-free and pointwise styles, and deploy techniques familiar to functional programmers such as pattern matching and induction on structures or on sizes. Derivation of stateful programs resembles reasoning backwards from the postcondition.


title: Cisco at AAAI-CAD21 shared task: Predicting Emphasis in Presentation Slides using Contextualized Embeddings

abstract: This paper describes our proposed system for the AAAI-CAD21 shared task: Predicting Emphasis in Presentation Slides. In this specific task, given the contents of a slide we are asked to predict the degree of emphasis to be laid on each word in the slide. We propose 2 approaches to this problem including a BiLSTM-ELMo approach and a transformers based approach based on RoBERTa and XLNet architectures. We achieve a score of 0.518 on the evaluation leaderboard which ranks us 3rd and 0.543 on the post-evaluation leaderboard which ranks us 1st at the time of writing the paper.


title: A More Efficient Chinese Named Entity Recognition base on BERT and Syntactic Analysis

abstract: We propose a new Named entity recognition (NER) method to effectively make use of the results of Part-of-speech (POS) tagging, Chinese word segmentation (CWS) and parsing while avoiding NER error caused by POS tagging error. This paper first uses Stanford natural language process (NLP) tool to annotate large-scale untagged data so as to reduce the dependence on the tagged data; then a new NLP model, g-BERT model, is designed to compress Bidirectional Encoder Representations from Transformers (BERT) model in order to reduce calculation quantity; finally, the model is evaluated based on Chinese NER dataset. The experimental results show that the calculation quantity in g-BERT model is reduced by 60% and performance improves by 2% with Test F1 to 96.5 compared with that in BERT model.


title: geoGAT: Graph Model Based on Attention Mechanism for Geographic Text Classification

abstract: In the area of geographic information processing. There are few researches on geographic text classification. However, the application of this task in Chinese is relatively rare. In our work, we intend to implement a method to extract text containing geographical entities from a large number of network text. The geographic information in these texts is of great practical significance to transportation, urban and rural planning, disaster relief and other fields. We use the method of graph convolutional neural network with attention mechanism to achieve this function. Graph attention networks is an improvement of graph convolutional neural networks. Compared with GCN, the advantage of GAT is that the attention mechanism is proposed to weight the sum of the characteristics of adjacent nodes. In addition, We construct a Chinese dataset containing geographical classification from multiple datasets of Chinese text classification. The Macro-F Score of the geoGAT we used reached 95\% on the new Chinese dataset.


title: Fake News Detection System using XLNet model with Topic Distributions: CONSTRAINT@AAAI2021 Shared Task

abstract: With the ease of access to information, and its rapid dissemination over the internet (both velocity and volume), it has become challenging to filter out truthful information from fake ones. The research community is now faced with the task of automatic detection of fake news, which carries real-world socio-political impact. One such research contribution came in the form of the Constraint@AAA12021 Shared Task on COVID19 Fake News Detection in English. In this paper, we shed light on a novel method we proposed as a part of this shared task. Our team introduced an approach to combine topical distributions from Latent Dirichlet Allocation (LDA) with contextualized representations from XLNet. We also compared our method with existing baselines to show that XLNet + Topic Distributions outperforms other approaches by attaining an F1-score of 0.967.


title: Where have all the solar-like stars gone? Rotation period detectability at various inclinations and metallicities

abstract: The plethora of photometric data collected by the Kepler space telescope has promoted the detection of tens of thousands of stellar rotation periods. However, these periods are not found to an equal extent among different spectral types. Interestingly, early G-type stars with near-solar rotation periods are strongly underrepresented among those stars with known rotation periods. In this study we investigate whether the small number of such stars can be explained by difficulties in the period determination from photometric time series. For that purpose, we generate model light curves of early G-type stars with solar rotation periods for different inclination angles, metallicities and (magnitude-dependent) noise levels. We find that the detectability is determined by the predominant type of activity (i.e. spot or faculae domination) on the surface, which defines the degree of irregularity of the light curve, and further depends on the level of photometric noise. These two effects significantly complicate the period detection and explain the lack of solar-like stars with known near-solar rotation periods. We conclude that the rotation periods of the majority of solar-like stars with near-solar rotation periods remain undetected to date. Finally, we promote the use of new techniques to recover more periods of near-solar rotators.


title: One Model to Serve All: Star Topology Adaptive Recommender for Multi-Domain CTR Prediction

abstract: Traditional industrial recommenders are usually trained on a single business domain and then serve for this domain. However, in large commercial platforms, it is often the case that the recommenders need to make click-through rate (CTR) predictions for multiple business domains. Different domains have overlapping user groups and items. Thus, there exist commonalities. Since the specific user groups have disparity and the user behaviors may change in various business domains, there also have distinctions. The distinctions result in domain-specific data distributions, making it hard for a single shared model to work well on all domains. To learn an effective and efficient CTR model to handle multiple domains simultaneously, we present Star Topology Adaptive Recommender (STAR). Concretely, STAR has the star topology, which consists of the shared centered parameters and domain-specific parameters. The shared parameters are applied to learn commonalities of all domains, and the domain-specific parameters capture domain distinction for more refined prediction. Given requests from different business domains, STAR can adapt its parameters conditioned on the domain characteristics. The experimental result from production data validates the superiority of the proposed STAR model. Since 2020, STAR has been deployed in the display advertising system of Alibaba, obtaining averaging 8.0% improvement on CTR and 6.0% on RPM (Revenue Per Mille).


title: Variational Encoders and Autoencoders : Information-theoretic Inference and Closed-form Solutions

abstract: This work develops problem statements related to encoders and autoencoders with the goal of elucidating variational formulations and establishing clear connections to information-theoretic concepts. Specifically, four problems with varying levels of input are considered : a) The data, likelihood and prior distributions are given, b) The data and likelihood are given; c) The data and prior are given; d) the data and the dimensionality of the parameters is specified. The first two problems seek encoders (or the posterior) and the latter two seek autoencoders (i.e. the posterior and the likelihood). A variational Bayesian setting is pursued, and detailed derivations are provided for the resulting optimization problem. Following this, a linear Gaussian setting is adopted, and closed form solutions are derived. Numerical experiments are also performed to verify expected behavior and assess convergence properties. Explicit connections are made to rate-distortion theory, information bottleneck theory, and the related concept of sufficiency of statistics is also explored. One of the motivations of this work is to present the theory and learning dynamics associated with variational inference and autoencoders, and to expose information theoretic concepts from a computational science perspective.


title: TSQA: Tabular Scenario Based Question Answering

abstract: Scenario-based question answering (SQA) has attracted an increasing research interest. Compared with the well-studied machine reading comprehension (MRC), SQA is a more challenging task: a scenario may contain not only a textual passage to read but also structured data like tables, i.e., tabular scenario based question answering (TSQA). AI applications of TSQA such as answering multiple-choice questions in high-school exams require synthesizing data in multiple cells and combining tables with texts and domain knowledge to infer answers. To support the study of this task, we construct GeoTSQA. This dataset contains 1k real questions contextualized by tabular scenarios in the geography domain. To solve the task, we extend state-of-the-art MRC methods with TTGen, a novel table-to-text generator. It generates sentences from variously synthesized tabular data and feeds the downstream MRC method with the most useful sentences. Its sentence ranking model fuses the information in the scenario, question, and domain knowledge. Our approach outperforms a variety of strong baseline methods on GeoTSQA.


title: An Explainable CNN Approach for Medical Codes Prediction from Clinical Text

abstract: Method: We develop CNN-based methods for automatic ICD coding based on clinical text from intensive care unit (ICU) stays. We come up with the Shallow and Wide Attention convolutional Mechanism (SWAM), which allows our model to learn local and low-level features for each label. The key idea behind our model design is to look for the presence of informative snippets in the clinical text that correlated with each code, and we infer that there exists a correspondence between "informative snippet" and convolution filter. Results: We evaluate our approach on MIMIC-III, an open-access dataset of ICU medical records. Our approach substantially outperforms previous results on top-50 medical code prediction on MIMIC-III dataset. We attribute this improvement to SWAM, by which the wide architecture gives the model ability to more extensively learn the unique features of different codes, and we prove it by ablation experiment. Besides, we perform manual analysis of the performance imbalance between different codes, and preliminary conclude the characteristics that determine the difficulty of learning specific codes. Conclusions: We present SWAM, an explainable CNN approach for multi-label document classification, which employs a wide convolution layer to learn local and low-level features for each label, yields strong improvements over previous metrics on the ICD-9 code prediction task, while providing satisfactory explanations for its internal mechanics.


title: SkillNER: Mining and Mapping Soft Skills from any Text

abstract: In today's digital world, there is an increasing focus on soft skills. On the one hand, they facilitate innovation at companies, but on the other, they are unlikely to be automated soon. Researchers struggle with accurately approaching quantitatively the study of soft skills due to the lack of data-driven methods to retrieve them. This limits the possibility for psychologists and HR managers to understand the relation between humans and digitalisation. This paper presents SkillNER, a novel data-driven method for automatically extracting soft skills from text. It is a named entity recognition (NER) system trained with a support vector machine (SVM) on a corpus of more than 5000 scientific papers. We developed this system by measuring the performance of our approach against different training models and validating the results together with a team of psychologists. Finally, SkillNER was tested in a real-world case study using the job descriptions of ESCO (European Skill/Competence Qualification and Occupation) as textual source. The system enabled the detection of communities of job profiles based on their shared soft skills and communities of soft skills based on their shared job profiles. This case study demonstrates that the tool can automatically retrieve soft skills from a large corpus in an efficient way, proving useful for firms, institutions, and workers. The tool is open and available online to foster quantitative methods for the study of soft skills.


title: Transformer-Based Models for Question Answering on COVID19

abstract: In response to the Kaggle's COVID-19 Open Research Dataset (CORD-19) challenge, we have proposed three transformer-based question-answering systems using BERT, ALBERT, and T5 models. Since the CORD-19 dataset is unlabeled, we have evaluated the question-answering models' performance on two labeled questions answers datasets \textemdash CovidQA and CovidGQA. The BERT-based QA system achieved the highest F1 score (26.32), while the ALBERT-based QA system achieved the highest Exact Match (13.04). However, numerous challenges are associated with developing high-performance question-answering systems for the ongoing COVID-19 pandemic and future pandemics. At the end of this paper, we discuss these challenges and suggest potential solutions to address them.


title: Analysis of Basic Emotions in Texts Based on BERT Vector Representation

abstract: In the following paper the authors present a GAN-type model and the most important stages of its development for the task of emotion recognition in text. In particular, we propose an approach for generating a synthetic dataset of all possible emotions combinations based on manually labelled incomplete data.


title: Exploratory Arabic Offensive Language Dataset Analysis

abstract: This paper adding more insights towards resources and datasets used in Arabic offensive language research. The main goal of this paper is to guide researchers in Arabic offensive language in selecting appropriate datasets based on their content, and in creating new Arabic offensive language resources to support and complement the available ones.


title: Online LDA based brain-computer interface system to aid disabled people

abstract: This paper aims to develop brain-computer interface system based on electroencephalography that can aid disabled people in daily life. The system relies on one of the most effective event-related potential wave, P300, which can be elicited by oddball paradigm. Developed application has a basic interaction tool that enables disabled people to convey their needs to other people selecting related objects. These objects pseudo-randomly flash in a visual interface on computer screen. The user must focus on related object to convey desired needs. The system can convey desired needs correctly by detecting P300 wave in acquired 14-channel EEG signal and classifying using linear discriminant analysis classifier just in 15 seconds. Experiments have been carried out on 19 volunteers to validate developed BCI system. As a result, accuracy rate of 90.83% is achieved in online performance


title: Challenges Encountered in Turkish Natural Language Processing Studies

abstract: Natural language processing is a branch of computer science that combines artificial intelligence with linguistics. It aims to analyze a language element such as writing or speaking with software and convert it into information. Considering that each language has its own grammatical rules and vocabulary diversity, the complexity of the studies in this field is somewhat understandable. For instance, Turkish is a very interesting language in many ways. Examples of this are agglutinative word structure, consonant/vowel harmony, a large number of productive derivational morphemes (practically infinite vocabulary), derivation and syntactic relations, a complex emphasis on vocabulary and phonological rules. In this study, the interesting features of Turkish in terms of natural language processing are mentioned. In addition, summary info about natural language processing techniques, systems and various sources developed for Turkish are given.


title: Using Finite-State Machines to Automatically Scan Classical Greek Hexameter

abstract: This paper presents a fully automatic approach to the scansion of Classical Greek hexameter verse. In particular, the paper describes an algorithm that uses deterministic finite-state automata and local linguistic rules to implement a targeted search for valid spondeus patterns and, in addition, a weighted finite-state transducer to correct and complete partial analyses and to reject invalid candidates. The paper also details the results of an empirical evaluation of the annotation quality resulting from this approach on hand-annotated data. It is shown that a finite-state approach provides quick and linguistically sound analyses of hexameter verses as well as an efficient formalisation of linguistic knowledge. The project code is available (see https://github.com/anetschka/greek_scansion).


title: Spin-memory loss induced by bulk spin-orbit coupling at ferromagnet/heavy-metal interfaces

abstract: A spin current through a ferromagnet/heavy-metal interface may shrink due to the spin-flip at the interface, resulting in the spin-memory loss. Here we propose a mechanism of the spin-memory loss. In contrast to other mechanisms based on interfacial spin-orbit coupling, our mechanism is based on the bulk spin-orbit coupling in a heavy-metal. We demonstrate that the bulk spin-orbit coupling induces the entanglement between the spin and orbital degrees of freedom and this spin-orbital entanglement can give rise to sizable spin-flip at the interface even when the interfacial spin-orbit coupling is weak. Our mechanism emphasizes crucial roles of the atomic orbital degree of freedom and induces the strong spin-memory loss near band crossing points between bands of different orbital characters.


title: Individual and Social Behaviour in Particle Swarm Optimizers

abstract: Three basic factors govern the individual behaviour of a particle: the inertia from its previous displacement; the attraction to its own best experience; and the attraction to a given neighbour's best experience. The importance awarded to each factor is controlled by three coefficients: the inertia; the individuality; and the sociality weights. The social behaviour is ruled by the structure of the social network, which defines the neighbours that are to inform of their experiences to a given particle. This paper presents a study of the influence of different settings of the coefficients as well as of the combined effect of different settings and different neighbourhood topologies on the speed and form of convergence.


title: Online Extrinsic Calibration based on Per-Sensor Ego-Motion Using Dual Quaternions

abstract: In this work, we propose an approach for extrinsic sensor calibration from per-sensor ego-motion estimates. Our problem formulation is based on dual quaternions, enabling two different online capable solving approaches. We provide a certifiable globally optimal and a fast local approach along with a method to verify the globality of the local approach. Additionally, means for integrating previous knowledge, for example, a common ground plane for planar sensor motion, are described. Our algorithms are evaluated on simulated data and on a publicly available dataset containing RGB-D camera images. Further, our online calibration approach is tested on the KITTI odometry dataset, which provides data of a lidar and two stereo camera systems mounted on a vehicle. Our evaluation confirms the short run time, state-of-the-art accuracy, as well as online capability of our approach while retaining the global optimality of the solution at any time.


title: Pseudo-Adaptive Penalization to Handle Constraints in Particle Swarm Optimizers

abstract: The penalization method is a popular technique to provide particle swarm optimizers with the ability to handle constraints. The downside is the need of penalization coefficients whose settings are problem-specific. While adaptive coefficients can be found in the literature, a different adaptive scheme is proposed in this paper, where coefficients are kept constant. A pseudo-adaptive relaxation of the tolerances for constraint violations while penalizing only violations beyond such tolerances results in a pseudo-adaptive penalization. A particle swarm optimizer is tested on a suite of benchmark problems for three types of tolerance relaxation: no relaxation; self-tuned initial relaxation with deterministic decrease; and self-tuned initial relaxation with pseudo-adaptive decrease. Other authors' results are offered as frames of reference.


title: Magnetic Resonance Spectroscopy Deep Learning Denoising Using Few In Vivo Data

abstract: Magnetic Resonance Spectroscopy (MRS) is a noninvasive tool to reveal metabolic information. One challenge of 1H-MRS is the low Signal-Noise Ratio (SNR). To improve the SNR, a typical approach is to perform Signal Averaging (SA) with M repeated samples. The data acquisition time, however, is increased by M times accordingly, and a complete clinical MRS scan takes approximately 10 minutes at a common setting M=128. Recently, deep learning has been introduced to improve the SNR but most of them use the simulated data as the training set. This may hinder the MRS applications since some potential differences, such as acquisition system imperfections, and physiological and psychologic conditions may exist between the simulated and in vivo data. Here, we proposed a new scheme that purely used the repeated samples of realistic data. A deep learning model, Refusion Long Short-Term Memory (ReLSTM), was designed to learn the mapping from the low SNR time-domain data (24 SA) to the high SNR one (128 SA). Experiments on the in vivo brain spectra of 7 healthy subjects, 2 brain tumor patients and 1 cerebral infarction patient showed that only using 20% repeated samples, the denoised spectra by ReLSTM could provide comparable estimated concentrations of metabolites to 128 SA. Compared with the state-of-the-art low-rank denoising method, the ReLSTM achieved the lower relative error and the Cram\'er-Rao lower bounds in quantifying some important biomarkers. In summary, ReLSTM can perform high-fidelity denoising of the spectra under fast acquisition (24 SA), which would be valuable to MRS clinical studies.


title: Adversaries in Online Learning Revisited: with applications in Robust Optimization and Adversarial training

abstract: We revisit the concept of "adversary" in online learning, motivated by solving robust optimization and adversarial training using online learning methods. While one of the classical setups in online learning deals with the "adversarial" setup, it appears that this concept is used less rigorously, causing confusion in applying results and insights from online learning. Specifically, there are two fundamentally different types of adversaries, depending on whether the "adversary" is able to anticipate the exogenous randomness of the online learning algorithms. This is particularly relevant to robust optimization and adversarial training because the adversarial sequences are often anticipative, and many online learning algorithms do not achieve diminishing regret in such a case. We then apply this to solving robust optimization problems or (equivalently) adversarial training problems via online learning and establish a general approach for a large variety of problem classes using imaginary play. Here two players play against each other, the primal player playing the decisions and the dual player playing realizations of uncertain data. When the game terminates, the primal player has obtained an approximately robust solution. This meta-game allows for solving a large variety of robust optimization and multi-objective optimization problems and generalizes the approach of arXiv:1402.6361.


title: Monitoring and Forecasting COVID-19: Statistical Heuristic Regression, Susceptible-Infected-Removed model and, Spatial Stochastics

abstract: The COVID-19 pandemic has had worldwide devastating effects on human lives, highlighting the need for tools to predict its development. Dynamics of such public-health threats can often be efficiently analysed through simple models that help to make quantitative timely policy decisions. We benchmark a minimal version of a Susceptible-Infected-Removed model for infectious diseases (SIR) coupled with a simple least-squares Statistical Heuristic Regression (SHR) based on a lognormal distribution. We derived the three free parameters for both models in several cases and tested them against the amount of data needed to bring accuracy in predictions. The SHR model is approximately +/- 2% accurate about 20 days past the second inflexion point in the daily curve of cases, while the SIR model reaches a similar accuracy a fortnight before. All the analyzed cases assert the utility of SHR and SIR approximants as a useful tool to forecast the evolution of the disease. Finally, we have studied simulated stochastic individual-based SIR dynamics, which yields a detailed spatial and temporal view of the disease that cannot be given by SIR or SHR methods.


title: Mapping the Sun's upper photosphere with artificial neural networks

abstract: We have developed an inversion procedure designed for high-resolution solar spectro-polarimeters, such as Hinode/SP or DKIST/ViSP. The procedure is based on artificial neural networks trained with profiles generated from random atmospheric stratifications for a high generalization capability. When applied to Hinode data we find a hot fine-scale network structure whose morphology changes with height. In the middle layers this network resembles what is observed in G-band filtergrams but it is not identical. Surprisingly, the temperature enhancements in the middle and upper photosphere have a reversed pattern. Hot pixels in the middle photosphere, possibly associated to small-scale magnetic elements, appear cool at the log(tau_500)=-3 and -4 level, and viceversa. Finally, we find hot arcs on the limb side of magnetic pores, which we interpret as the first direct observational evidence of the "hot wall" effect in temperature.


title: A study on information behavior of scholars for article keywords selection

abstract: This project takes the factors of keyword selection behavior as the research object. Qualitative analysis methods such as interview and grounded theory were used to construct causal influence path model. Combined with computer simulation technology such as multi-agent simulation experiment method was used to study the factors of keyword selection from two dimensions of individual to group. The research was carried out according to the path of factor analysis at individual level macro situation simulation optimization of scientific research data management. Based on the aforementioned review of existing researches and explanations of keywords selection, this study adopts a qualitative research design to expand the explanation, and macro simulation based on the results of qualitative research. There are two steps in this study, one is do interview with authors and then design macro simulation according the deductive and qualitative content analysis results.


title: Null controllability of the parabolic spherical Grushin equation

abstract: We investigate the null controllability property of the parabolic equation associated with the Grushin operator defined by the canonical almost-Riemannian structure on the 2-dimensional sphere $\mathbb S^2$. This is the natural generalization of the Grushin operator $\mathcal G = \partial_x^2 + x^2\partial_y^2$ on $\mathbb R^2$ to this curved setting, and presents a degeneracy at the equator of $\mathbb S^2$. We prove that the null controllability is verified in large time when the control acts as a source term distributed on a subset $\bar{\omega} = \{ (x_1,x_2,x_3)\in \mathbb S^2\mid \alpha<|x_3|<\beta \}$ for some $0\le\alpha<\beta\le 1$. More precisely, we show the existence of a positive time $T^{*}>0$ such that the system is null controllable from $\bar{\omega}$ in any time $T\ge T^{*}$, and that the minimal time of control from $\bar{\omega}$ satisfies $T_{min}\ge\log(1/\sqrt{1-\alpha^2})$. Here, the lower bound corresponds to the Agmon distance of $\bar{\omega}$ from the equator. These results are obtained by proving a suitable Carleman estimate by using unitary transformations and Hardy-Poincar\'e type inequalities to show the positive null-controllability result. The negative statement is proved by exploiting an appropriate family of spherical harmonics, which concentrates at the equator, to falsify the uniform observability inequality.


title: The large-scale magnetic field advected in the corona of a thin accretion disk

abstract: Large-scale magnetic field is believed to play a key role in launching and collimating jets/outflows. It was found that advection of external field by a geometrically thin disk is rather inefficient, while the external weak field may be dragged inwards by fast radially moving tenuous or/and hot gas above the thin disk. We investigate the field advection in a thin (cold) accretion disk covered with hot corona, in which turbulence is responsible for the angular momentum transfer of the gas in the disk and corona. The radial velocity of the gas in the corona is significantly higher than that in the thin disk. Our calculations show that the external magnetic flux is efficiently transported inwards by the corona, and the field line is strongly inclined towards the disk surface, which help launching outflows. The field configurations are consistent with those observed in the numerical simulations. The strength of the field is substantially enhanced in the inner region of the disk (usually several orders of magnitude higher than the external field strength), which is able to drive a fraction of gas in the corona into outflows. This mechanism may be useful in explaining the observational features in X-ray binaries and active galactic nuclei. Our results may help understanding the physics of the magneto-hydrodynamic (MHD) simulations.


title: Can a patchy model describe the potential spread of West Nile virus in Germany?

abstract: In 2018, West Nile Virus (WNV) was detected for the first time in Germany. Since the first detection, 36 human cases and 175 cases in horses and birds are detected. The transmission cycle of West Nile Virus includes birds and mosquitoes and -- as dead-end hosts -- people and horses. Spatial dissemination of the disease is caused by the movements of birds and mosquitoes. While the activity and movement of mosquitoes are depending mainly on temperature, in the birds there is a complex movement pattern caused by local birds and long range dispersal birds. To this end, we have developed a metapopulation network model framework to delineate the potential spatial distribution and spread of WNV across Germany as well as to evaluate the risk throughout our proposed network model. Our model facilitates the interconnection amongst the vector, local birds and long range dispersal birds contact networks. We have assumed different distance dispersal kernels models for the vector and avian populations with the intention to include short and long range dispersal. The model includes spatial variation of mosquito abundance and the movements to resemble the reality.


title: Offline Correction of Atmospheric Effects on Single-Dish Radio Spectroscopy

abstract: We present a method to mitigate the atmospheric effects (residual atmospheric lines) in single-dish radio spectroscopy caused by the elevation difference between the target and reference positions. The method is developed as a script using the Atmospheric Transmission at Microwaves (ATM) library built into the Common Astronomy Software Applications (CASA) package. We apply the method to the data taken with the Total Power Array of the Atacama Large Millimeter/submillimeter Array. The intensities of the residual atmospheric (mostly O3) lines are suppressed by, typically, an order of magnitude for the tested cases. The parameters for the ATM model can be optimized to minimize the residual line and, for a specific O3 line at 231.28 GHz, a seasonal dependence of a best-fitting model parameter is demonstrated. The method will be provided as a task within the CASA package in the near future. The atmospheric removal method we developed can be used by any radio/millimeter/submillimeter observatory to improve the quality of its spectroscopic measurements.


title: Controlling by Showing: i-Mimic: A Video-based Method to Control Robotic Arms

abstract: A novel concept of vision-based intelligent control of robotic arms is developed here in this work. This work enables the controlling of robotic arms motion only with visual inputs, that is, controlling by showing the videos of correct movements. This work can broadly be sub-divided into two segments. The first part of this work is to develop an unsupervised vision-based method to control robotic arm in 2-D plane, and the second one is with deep CNN in the same task in 3-D plane. The first method is unsupervised, where our aim is to perform mimicking of human arm motion in real-time by a manipulator. We developed a network, namely the vision-to-motion optical network (DON), where the input should be a video stream containing hand movements of human, the the output would be out the velocity and torque information of the hand movements shown in the videos. The output information of the DON is then fed to the robotic arm by enabling it to generate motion according to the real hand videos. The method has been tested with both live-stream video feed as well as on recorded video obtained from a monocular camera even by intelligently predicting the trajectory of human hand hand when it gets occluded. This is why the mimicry of the arm incorporates some intelligence to it and becomes intelligent mimic (i-mimic). Alongside the unsupervised method another method has also been developed deploying the deep neural network technique with CNN (Convolutional Neural Network) to perform the mimicking, where labelled datasets are used for training. The same dataset, as used in the unsupervised DON-based method, is used in the deep CNN method, after manual annotations. Both the proposed methods are validated with off-line as well as with on-line video datasets in real-time. The entire methodology is validated with real-time 1-link and simulated n-link manipulators alongwith suitable comparisons.


title: Robust Instability Radius for Multi-agent Dynamical Systems with Cyclic Structure

abstract: This paper is concerned with robust instability analysis for linear multi-agent dynamical systems with cyclic structure. This relates to interesting and important periodic oscillation phenomena in biology and neuronal science, since the nonlinear phenomena often occur when the linearized model around an equilibrium point is unstable. We first make a problem setting on the analysis and define the notion of robust instability radius (RIR) as a quantitative measure for maximum allowable stable dynamic perturbation in terms of the H-infinity norm. After showing lower bounds of the RIR, we derive the exact RIR, which is analytic and scalable, for first order time-lag agents. Finally, we make a remark on the potential applicability to some classes of higher order systems.


title: Meta Adversarial Training against Universal Patches

abstract: Recently demonstrated physical-world adversarial attacks have exposed vulnerabilities in perception systems that pose severe risks for safety-critical applications such as autonomous driving. These attacks place adversarial artifacts in the physical world that indirectly cause the addition of a universal patch to inputs of a model that can fool it in a variety of contexts. Adversarial training is the most effective defense against image-dependent adversarial attacks. However, tailoring adversarial training to universal patches is computationally expensive since the optimal universal patch depends on the model weights which change during training. We propose meta adversarial training (MAT), a novel combination of adversarial training with meta-learning, which overcomes this challenge by meta-learning universal patches along with model training. MAT requires little extra computation while continuously adapting a large set of patches to the current model. MAT considerably increases robustness against universal patch attacks on image classification and traffic-light detection.


title: Impact of High Penetration of Inverter-based Generation on Electromechanical Wave Propagation in Power Grids

abstract: A power system electromechanical wave propagates from the disturbance location to the rest of system, influencing various types of protections. In addition, since more power-electronics-interfaced generation and energy storage devices are being integrated into power systems, electromechanical wave propagation speeds in the future power systems are likely to change accordingly. In this paper, GPS-synchronized measurement data from a wide-area synchrophasor measurement system FNET/GridEye are used to analyze the characteristics of electromechanical wave propagation in the U.S. Eastern Interconnection (EI) system. Afterwards, high levels of photovoltaic (PV) penetration are modeled in the EI to investigate the influences of a typical power-electronics--interfaced resource on the electromechanical wave propagation speed. The result shows a direct correlation between the local penetration level of inverter-based generation and the electromechanical wave propagation speed.


title: Global Existence of Classical Solutions for a Reactive Polymeric Fluid near Equilibrium

abstract: In this paper, we study a new micro-macro model for a reactive polymeric fluid, which is derived recently in [Y. Wang, T.-F. Zhang, and C. Liu, \emph{J. Non-Newton. Fluid Mech.} 293 (2021), 104559, 13 pp], by using the energetic variational approach. The model couples the breaking/reforming reaction scheme of the microscopic polymers with other mechanical effects in usual viscoelastic complex fluids. We establish the global existence of classical solutions near the global equilibrium, in which the treatment on the chemo-mechanical coupling effect is the most crucial part. In particular, a weighted Poincar\'e inequality with a mean value is employed to overcome the difficulty that arises from the non-conservative number density distribution of each species.


title: Large zero-bias peaks in InSb-Al hybrid semiconductor-superconductor nanowire devices

abstract: We report electron transport studies on InSb-Al hybrid semiconductor-superconductor nanowire devices. Tunnelling spectroscopy is used to measure the evolution of subgap states while varying magnetic field and voltages applied to various nearby gates. At magnetic fields between 0.7 and 0.9 T, the differential conductance contains large zero bias peaks (ZBPs) whose height reaches values on the order 2e2/h. We investigate these ZBPs for large ranges of gate voltages in different devices. We discuss possible interpretations in terms of disorder-induced subgap states, Andreev bound states and Majorana zero modes.


title: Uncountable groups and the geometry of inverse limits of coverings

abstract: In this paper we develop a new approach to the study of uncountable fundamental groups by using Hurewicz fibrations with the unique path-lifting property (lifting spaces for short) as a replacement for covering spaces. In particular, we consider the inverse limit of a sequence of covering spaces of $X$. It is known that the path-connectivity of the inverse limit can be expressed by means of the derived inverse limit functor $\varprojlim^1$, which is, however, notoriously difficult to compute when the $\pi_1(X)$ is uncountable.To circumvent this difficulty, we express the set of path-components of the inverse limit, $\widehat X$, in terms of the functors $\varprojlim$ and $\varprojlim^1$ applied to sequences of countable groups arising from polyhedral approximations of $X$. A consequence of our computation is that path-connectedness of lifting space implies that $\pi_1(\tilde X)$ supplements $\pi_1(X)$ in $\check\pi_1(X)$ where $\check\pi_1(X)$ is the inverse limit of fundamental groups of polyhedral approximations of $X$. As an application we show that $\mathcal G\cdot \ker_{\mathbb Z}(\widehat F)= \widehat F\ne\mathcal G\cdot \ker_{B(1,n)}(\widehat F)$, where $\widehat F$ is the canonical inverse limit of finite rank free groups, $\mathcal G$ is the fundamental group of the Hawaiian Earring, and $\ker_A(\widehat F)$ is the intersection of kernels of homomorphisms from $\widehat{F}$ to $A$.


title: Iwahori-Hecke model for mod p representations of GL(2,F)

abstract: For a $p$-adic field $F$, the space of pro-$p$-Iwahori invariants of a universal supersingular mod $p$ representation $\tau$ of ${\rm GL}_2(F)$ is determined in the works of Breuil, Schein, and Hendel. The representation $\tau$ is introduced by Barthel and Livn\'e and this is defined in terms of the spherical Hecke operator. In earlier work of Anandavardhanan-Borisagar, an Iwahori-Hecke approach was introduced to study these universal supersingular representations in which they can be characterized via the Iwahori-Hecke operators. In this paper, we construct a certain quotient $\pi$ of $\tau$, making use of the Iwahori-Hecke operators. When $F$ is not totally ramified over $\mathbb Q_p$, the representation $\pi$ is a non-trivial quotient of $\tau$. We determine a basis for the space of invariants of $\pi$ under the pro-p Iwahori subgroup. A pleasant feature of this "new" representation $\pi$ is that its space of pro-$p$-Iwahori invariants admits a more uniform description vis-\`a-vis the description of the space of pro-$p$-Iwahori invariants of $\tau$.


title: Piecewise Non-Linearity and Capacitance in the Joint Density Functional Theory of Extended Interfaces

abstract: The ab initio simulation of charged interfaces in the framework of density functional theory (DFT) is heavily employed for the study of electrochemical energy conversion processes. The capacitance is the primary descriptor for the response of the electrochemical interface. It is essentially equal to the inverse of the energy curvature as a function of electron number, and as such there appears a conflict with the fundamental principle of piecewise linearity in DFT that requires the energy curvature to be zero at fractional electron numbers, i.e. almost everywhere. To resolve this conflict, we derive an exact expression between the energy curvature and the Kohn-Sham density of states, the local density of states, and the Fukui potential. We find that the piecewise linearity requirement does not hold for the volume- or area-specific energy of extended systems and surfaces. Applied to the joint density functional theory of an electrode-electrolyte interface, including the ionic and dielectric response of the electrolyte, the same expression represents a rigorous basis for the partitioning of the total interfacial capacitance into contributions of the quantum capacitance, space-charge capacitance, and electrochemical double-layer capacitance. It provides insight into the influence of the electrode material, thickness, and temperature on the charging characteristics, as demonstrated by results for a bulk gold electrode, a single-layer gold electrode, and a single-layer graphene electrode.


title: Log-Normalization Constant Estimation using the Ensemble Kalman-Bucy Filter with Application to High-Dimensional Models

abstract: In this article we consider the estimation of the log-normalization constant associated to a class of continuous-time filtering models. In particular, we consider ensemble Kalman-Bucy filter based estimates based upon several nonlinear Kalman-Bucy diffusions. Based upon new conditional bias results for the mean of the afore-mentioned methods, we analyze the empirical log-scale normalization constants in terms of their $\mathbb{L}_n-$errors and conditional bias. Depending on the type of nonlinear Kalman-Bucy diffusion, we show that these are of order $(\sqrt{t/N}) + t/N$ or $1/\sqrt{N}$ ($\mathbb{L}_n-$errors) and of order $[t+\sqrt{t}]/N$ or $1/N$ (conditional bias), where $t$ is the time horizon and $N$ is the ensemble size. Finally, we use these results for online static parameter estimation for above filtering models and implement the methodology for both linear and nonlinear models.


title: Machine learning with limited data

abstract: Thanks to the availability of powerful computing resources, big data and deep learning algorithms, we have made great progress on computer vision in the last few years. Computer vision systems begin to surpass humans in some tasks, such as object recognition, object detection, face recognition and pose estimation. Lots of computer vision algorithms have been deployed to real world applications and started to improve our life quality. However, big data and labels are not always available. Sometimes we only have very limited labeled data, such as medical images which requires experts to label them. In this paper, we study few shot image classification, in which we only have very few labeled data. Machine learning with little data is a big challenge. To tackle this challenge, we propose two methods and test their effectiveness thoroughly. One method is to augment image features by mixing the style of these images. The second method is applying spatial attention to explore the relations between patches of images. We also find that domain shift is a critical issue in few shot learning when the training domain and testing domain are different. So we propose a more realistic cross-domain few-shot learning with unlabeled data setting, in which some unlabeled data is available in the target domain. We propose two methods in this setting. Our first method transfers the style information of the unlabeled target dataset to the samples in the source dataset and trains a model with stylized images and original images. Our second method proposes a unified framework to fully utilize all the data. Both of our methods surpass the baseline method by a large margin.


title: Cyclic Henkin Logic

abstract: In this paper, we study Cyclic Henkin Logic CHL, a logic that can be described as provability logic without the third L\"ob condition, to wit, that provable implies provably provable (aka principle 4). The logic CHL does have full modalised fixed points. We implement these fixed points using cyclic syntax, so that we can work just with the usual repertoire of connectives. The main part of the paper is devoted to developing the logic on cyclic syntax. Many theorems, like the multiple fixed point theorem, become matter of course in this context. We submit that the use of cyclic syntax is of interest even for the study of classical L\"ob's Logic. We show that a version of the de Jongh-Sambin algorithm can be seen as one half of a synonymy between the theory GL^\circ, i.e.\ CHL plus the third L\"ob Condition, and ordinary L\"ob's Logic GL. Our development illustrates that an appropriate computation scheme for the algorithm is guard recursion. We show how arithmetical interpretations work for the cyclic syntax. In an appendix, we give some further information about the arithmetical side of the equation.


title: An Ultra-Specific Image Dataset for Automated Insect Identification

abstract: Automated identification of insects is a tough task where many challenges like data limitation, imbalanced data count, and background noise needs to be overcome for better performance. This paper describes such an image dataset which consists of a limited, imbalanced number of images regarding six genera of subfamily Cicindelinae (tiger beetles) of order Coleoptera. The diversity of image collection is at a high level as the images were taken from different sources, angles and on different scales. Thus, the salient regions of the images have a large variation. Therefore, one of the main intentions in this process was to get an idea about the image dataset while comparing different unique patterns and features in images. The dataset was evaluated on different classification algorithms including deep learning models based on different approaches to provide a benchmark. The dynamic nature of the dataset poses a challenge to the image classification algorithms. However transfer learning models using softmax classifier performed well on current dataset. The tiger beetle classification can be challenging even to a trained human eye, therefore, this dataset opens a new avenue for the classification algorithms to develop, to identify features which human eyes have not identified.


title: Dimerization in quantum spin chains with $O(n)$ symmetry

abstract: We consider quantum spins with $S\geq1$, and two-body interactions with $O(2S+1)$ symmetry. We discuss the ground state phase diagram of the one-dimensional system. We give a rigorous proof of dimerization for an open region of the phase diagram, for $S$ sufficiently large. We also prove the existence of a gap for excitations.


title: Hiding Behind Machines: When Blame Is Shifted to Artificial Agents

abstract: The transfer of tasks with sometimes far-reaching moral implications to autonomous systems raises a number of ethical questions. In addition to fundamental questions about the moral agency of these systems, behavioral issues arise. This article focuses on the responsibility of agents who decide on our behalf. We investigate the empirically accessible question of whether the production of moral outcomes by an agent is systematically judged differently when the agent is artificial and not human. The results of a laboratory experiment suggest that decision-makers can actually rid themselves of guilt more easily by delegating to machines than by delegating to other people. Our results imply that the availability of artificial agents could provide stronger incentives for decision makers to delegate morally sensitive decisions.


title: Detecting Adversarial Examples by Input Transformations, Defense Perturbations, and Voting

abstract: Over the last few years, convolutional neural networks (CNNs) have proved to reach super-human performance in visual recognition tasks. However, CNNs can easily be fooled by adversarial examples, i.e., maliciously-crafted images that force the networks to predict an incorrect output while being extremely similar to those for which a correct output is predicted. Regular adversarial examples are not robust to input image transformations, which can then be used to detect whether an adversarial example is presented to the network. Nevertheless, it is still possible to generate adversarial examples that are robust to such transformations. This paper extensively explores the detection of adversarial examples via image transformations and proposes a novel methodology, called \textit{defense perturbation}, to detect robust adversarial examples with the same input transformations the adversarial examples are robust to. Such a \textit{defense perturbation} is shown to be an effective counter-measure to robust adversarial examples. Furthermore, multi-network adversarial examples are introduced. This kind of adversarial examples can be used to simultaneously fool multiple networks, which is critical in systems that use network redundancy, such as those based on architectures with majority voting over multiple CNNs. An extensive set of experiments based on state-of-the-art CNNs trained on the Imagenet dataset is finally reported.


title: Fluid dynamics in the warp drive spacetime geometry

abstract: The Alcubierre warp drive metric is a spacetime geometry featuring a spacetime distortion, called warp bubble, where a massive particle inside it acquires global superluminal velocities, or warp speeds. This work presents solutions of the Einstein equations for the Alcubierre metric having fluid matter as gravity source. The energy-momentum tensor considered two fluid contents, the perfect fluid and the parametrized perfect fluid (PPF), a tentative more flexible model whose aim is to explore the possibilities of warp drive solutions with positive matter density content. Santos-Pereira et al. (2020; arXiv:2008.06560) have already showed that the Alcubierre metric having dust as source connects this geometry to the Burgers equation, which describes shock waves moving through an inviscid fluid, but led the solutions back to vacuum. The same happened for two out of four solutions subcases for the perfect fluid. Other solutions for the perfect fluid indicate the possibility of warp drive with positive matter density, but at the cost of a complex solution for the warp drive regulating function. Regarding the PPF, solutions were also obtained indicating that warp speeds could be created with positive matter density. Weak, dominant, strong and null energy conditions were calculated for all studied subcases, being satisfied for the perfect fluid and creating constraints in the PPF quantities such that positive matter density is also possible for creating a warp bubble. Summing up all results,energy-momentum tensors describing more complex forms of matter, or field, distributions generate solutions for the Einstein equations with the warp drive metric where negative matter density might not be a strict precondition for attaining warp speeds.


title: Microcavity phonon polaritons from weak to ultrastrong phonon-photon coupling

abstract: Strong coupling between molecular vibrations and microcavity modes has been demonstrated to modify physical and chemical properties of the molecular material. Here, we study the much less explored coupling between lattice vibrations (phonons) and microcavity modes. Embedding thin layers of hexagonal boron nitride (hBN) into classical microcavities, we demonstrate the evolution from weak to ultrastrong phonon-photon coupling when the hBN thickness is increased from a few nanometers to a fully filled cavity. Remarkably, strong coupling is achieved for hBN layers as thin as 10 nm. Further, the ultrastrong coupling in fully filled cavities yields a cavity polariton dispersion matching that of phonon polaritons in bulk hBN, highlighting that the maximum light-matter coupling in microcavities is limited to the coupling strength between photons and the bulk material. The tunable cavity phonon polaritons could become a versatile platform for studying how the coupling strength between photons and phonons may modify the properties of polar crystals.


title: VOTE400(Voide Of The Elderly 400 Hours): A Speech Dataset to Study Voice Interface for Elderly-Care

abstract: This paper introduces a large-scale Korean speech dataset, called VOTE400, that can be used for analyzing and recognizing voices of the elderly people. The dataset includes about 300 hours of continuous dialog speech and 100 hours of read speech, both recorded by the elderly people aged 65 years or over. A preliminary experiment showed that speech recognition system trained with VOTE400 can outperform conventional systems in speech recognition of elderly people's voice. This work is a multi-organizational effort led by ETRI and MINDs Lab Inc. for the purpose of advancing the speech recognition performance of the elderly-care robots.


title: Listwise Deletion in High Dimensions

abstract: We consider the properties of listwise deletion when both $n$ and the number of variables grow large. We show that when (i) all data has some idiosyncratic missingness and (ii) the number of variables grows superlogarithmically in $n$, then, for large $n$, listwise deletion will drop all rows with probability 1. Using two canonical datasets from the study of comparative politics and international relations, we provide numerical illustration that these problems may emerge in real world settings. These results suggest, in practice, using listwise deletion may mean using few of the variables available to the researcher.


title: Ticks on the run: A mathematical model of Crimean-Congo Haemorrhagic Fever (CCHF)-key factors for transmission

abstract: Crimean-Congo haemorrhagic fever (CCHF) is a tick-borne zoonotic disease caused by the Crimean-Congo hemorrhagic fever virus (CCHFV). Ticks belonging to the genus \textit{Hyalomma} are the main vectors and reservoir for the virus. It is maintained in nature in an endemic vertebrate-tick-vertebrate cycle. CCHFV is prevalent in wide geographical areas including Asia, Africa, South-Eastern Europe and the Middle East. Over the last decade, several outbreaks of CCHFV have been observed in Europe, mainly in Mediterranean countries. Due to the high case/fatality ratio of CCHFV in human sometimes, it is of great importance for public health. Climate change and the invasion of CCHFV vectors in Central Europe suggest that the establishment of the transmission in Central Europe may be possible in future. We developed a compartment-based nonlinear Ordinary Differential Equation (ODE) system to model the disease transmission cycle including blood sucking ticks, livestock and human. Sensitivity analysis of the basic reproduction number $R_0$ shows that decreasing in the tick survival time is an efficient method to eradicate the disease. The model supports us in understanding the influence of different model parameters on the spread of CCHFV. Tick to tick transmission through co-feeding and the CCHFV circulation through trasstadial and transovarial stages are important factors to sustain the disease cycle. The proposed model dynamics are calibrated through an empirical multi-country analysis and multidimensional scaling reveals the disease-parameter sets of different countries burdened with CCHF are different. This necessary information may help us to select most efficient control strategies.


title: Spatial-Channel Transformer Network for Trajectory Prediction on the Traffic Scenes

abstract: Predicting motion of surrounding agents is critical to real-world applications of tactical path planning for autonomous driving. Due to the complex temporal dependencies and social interactions of agents, on-line trajectory prediction is a challenging task. With the development of attention mechanism in recent years, transformer model has been applied in natural language sequence processing first and then image processing. In this paper, we present a Spatial-Channel Transformer Network for trajectory prediction with attention functions. Instead of RNN models, we employ transformer model to capture the spatial-temporal features of agents. A channel-wise module is inserted to measure the social interaction between agents. We find that the Spatial-Channel Transformer Network achieves promising results on real-world trajectory prediction datasets on the traffic scenes.


title: Formulating and solving integrated order batching and routing in multi-depot AGV-assisted mixed-shelves warehouses

abstract: Different retail and e-commerce companies are facing the challenge of assembling large numbers of time-critical picking orders that include both small-line and multi-line orders. To reduce unproductive picker working time as in traditional picker-to-parts warehousing systems, different solutions are proposed in the literature and in practice. For example, in a mixed-shelves storage policy, items of the same stock keeping unit are spread over several shelves in a warehouse; or automated guided vehicles (AGVs) are used to transport the picked items from the storage area to packing stations instead of human pickers. This is the first paper to combine both solutions, creating what we call AGV-assisted mixed-shelves picking systems. We model the new integrated order batching and routing problem in such systems as an extended multi-depot vehicle routing problem with both three-index and two-commodity network flow formulations. Due to the complexity of the integrated problem, we develop a novel variable neighborhood search algorithm to solve the integrated problem more efficiently. We test our methods with different sizes of instances, and conclude that the mixed-shelves storage policy is more suitable than the usual storage policy in AGV-assisted mixed-shelves systems for orders with different sizes of order lines (saving up to 62% on driving distances for AGVs). Our variable neighborhood search algorithm provides optimal solutions within an acceptable computational time.


title: Unveiling the Two-Proton Halo Character of 17Ne: Exclusive Measurement of Quasi-free Proton-Knockout Reactions

abstract: The proton drip-line nucleus 17Ne is investigated experimentally in order to determine its two-proton halo character. A fully exclusive measurement of the 17Ne(p,2p)16F->15O+p quasi-free one-proton knockout reaction has been performed at GSI at around 500 MeV/nucleon beam energy. All particles resulting from the scattering process have been detected. The relevant reconstructed quantities are the angles of the two protons scattered in quasi-elastic kinematics, the decay of 16F into 15O (including gamma decays from excited states) and a proton, as well as the 15O+p relative-energy spectrum and the 16F momentum distributions. The latter two quantities allow an independent and consistent determination of the ratio of l=0 and l=2 motion of the valence protons in 17Ne. With a resulting relatively small l=0 component of only around 35(3)%, it is concluded that 17Ne exhibits a rather modest halo character only. The quantitative agreement of the two values deduced from the energy spectrum and the momentum distributions supports the theoretical treatment of the calculation of momentum distributions after quasi-free knockout reactions at high energies by taking into account distortions based on the Glauber theory. Moreover, the experimental data allow the separation of valence-proton knockout and knockout from the 15O core. The latter process contributes with 11.8(3.1) mb around 40% to the total proton-knockout cross section of 30.3(2.3) mb, which explains previously reported contradicting conclusions derived from inclusive cross sections.


title: Improved Wall-Normal Derivative Formulae for Anisotropic Adaptive Simplex-Element Grids

abstract: In this paper, we explore methods for computing wall-normal derivatives used for calculating wall skin friction and heat transfer over a solid wall in unstructured simplex-element (triangular/tetrahedral) grids generated by anisotropic grid adaptation. Simplex-element grids are considered as efficient and suitable for automatic grid generation and adaptation, but present a challenge to accurately predict wall-normal derivatives. For example, wall-normal derivatives computed by a simple finite-difference approximation, as typically done in practical fluid-dynamics simulation codes, are often contaminated with numerical noise. To address this issue, we propose an improved method based on a common step-length for the finite-difference approximation, which is otherwise random due to grid irregularity and thus expected to smooth the wall-normal derivative distribution over a boundary. Also, we consider using least-squares gradients to compute the wall-normal derivatives and discuss their possible improvements. Numerical results show that the improved methods greatly reduce the noise in the wall-normal derivatives for irregular simplex-element grids.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Utilizing Uncertainty Estimation in Deep Learning Segmentation of Fluorescence Microscopy Images with Missing Markers

abstract: Fluorescence microscopy images contain several channels, each indicating a marker staining the sample. Since many different marker combinations are utilized in practice, it has been challenging to apply deep learning based segmentation models, which expect a predefined channel combination for all training samples as well as at inference for future application. Recent work circumvents this problem using a modality attention approach to be effective across any possible marker combination. However, for combinations that do not exist in a labeled training dataset, one cannot have any estimation of potential segmentation quality if that combination is encountered during inference. Without this, not only one lacks quality assurance but one also does not know where to put any additional imaging and labeling effort. We herein propose a method to estimate segmentation quality on unlabeled images by (i) estimating both aleatoric and epistemic uncertainties of convolutional neural networks for image segmentation, and (ii) training a Random Forest model for the interpretation of uncertainty features via regression to their corresponding segmentation metrics. Additionally, we demonstrate that including these uncertainty measures during training can provide an improvement on segmentation performance.


title: Medical Segment Coloring of Clinical Notes

abstract: This paper proposes a deep learning-based method to identify the segments of a clinical note corresponding to ICD-9 broad categories which are further color-coded with respect to 17 ICD-9 categories. The proposed Medical Segment Colorer (MSC) architecture is a pipeline framework that works in three stages: (1) word categorization, (2) phrase allocation, and (3) document classification. MSC uses gated recurrent unit neural networks (GRUs) to map from an input document to word multi-labels to phrase allocations, and uses statistical median to map phrase allocation to document multi-label. We compute variable length segment coloring from overlapping phrase allocation probabilities. These cross-level bidirectional contextual links identify adaptive context and then produce segment coloring. We train and evaluate MSC using the document labeled MIMIC-III clinical notes. Training is conducted solely using document multi-labels without any information on phrases, segments, or words. In addition to coloring a clinical note, MSC generates as byproducts document multi-labeling and word tagging -- creation of ICD9 category keyword lists based on segment coloring. Performance comparison of MSC byproduct document multi-labels versus methods whose purpose is to produce justifiable document multi-labels is 64% vs 52.4% micro-average F1-score against the CAML (CNN attention multi label) method. For evaluation of MSC segment coloring results, medical practitioners independently assigned the colors to broad ICD9 categories given a sample of 40 colored notes and a sample of 50 words related to each category based on the word tags. Binary scoring of this evaluation has a median value of 83.3% and mean of 63.7%.


title: Deep Neural Networks for Active Wave Breaking Classification

abstract: Wave breaking is an important process for energy dissipation in the open ocean and coastal seas. It drives beach morphodynamics, controls air-sea interactions, determines when ship and offshore structure operations can occur safely, and influences on the retrieval of ocean properties from satellites. Still, wave breaking lacks a proper physical understanding mainly due to scarce observational field data. Consequently, new methods and data are required to improve our current understanding of this process. In this paper we present a novel machine learning method to detect active wave breaking, that is, waves that are actively generating visible bubble entrainment in video imagery data. The present method is based on classical machine learning and deep learning techniques and is made freely available to the community alongside this publication. The results indicate that our best performing model had a balanced classification accuracy score of ~90% when classifying active wave breaking in the test dataset. An example of a direct application of the method includes a statistical description of geometrical and kinematic properties of breaking waves. We expect that the present method and the associated dataset will be crucial for future research related to wave breaking in several areas of research, which include but are not limited to: improving operational forecast models, developing risk assessment and coastal management tools, and refining the retrieval of remotely sensed ocean properties.


title: Normalization for Cubical Type Theory

abstract: We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory. Our normalization result is reduction-free, in the sense of yielding a bijection between equivalence classes of terms in context and a tractable language of $\beta/\eta$-normal forms. As corollaries we obtain both decidability of judgmental equality and the injectivity of type constructors.


title: X-ray observations of the nova shell IPHASX J210204.7+471015

abstract: We present the analysis of XMM-Newton European Photon Imaging Camera (EPIC) observations of the nova shell IPHASX J210204.7$+$471015. We detect X-ray emission from the progenitor binary star with properties that resemble those of underluminous intermediate polars such as DQ Her: an X-ray-emitting plasma with temperature of $T_\mathrm{X}=(6.4\pm3.1)\times10^{6}$ K, a non-thermal X-ray component, and an estimated X-ray luminosity of $L_\mathrm{X}=10^{30}$ erg s$^{-1}$. Time series analyses unveil the presence of two periods, the dominant with a period of $2.9\pm0.2$ hr, which might be attributed to the spin of the white dwarf, and a secondary of $4.5\pm0.6$ hr that is in line with the orbital period of the binary system derived from optical observations. We do not detect extended X-ray emission as in other nova shells probably due to its relatively old age (130-170 yr) or to its asymmetric disrupted morphology which is suggestive of explosion scenarios different to the symmetric ones assumed in available numerical simulations of nova explosions.


title: On countable determination of the Kuratowski measure of noncompactness

abstract: A long-standing question in the theory of measures of noncompactness is that for the Kuratowski measure of noncompactness $\alpha$ defined on a metric space $M$, and for every bounded subset $B\subset M$, is there a countable subset $B_0\subset B$ such that $\alpha(B_0)=\alpha(B)$? In this paper, we give an affirmative answer to the question above. It is done by showing that for each nonempty set $B$ of a Banach space, there is a countable subset $B_0\subset B$ so that $B$ is strongly finitely representable in $B_0$, and that there is a free ultrafilter $\mathcal U$ so that $B$ is affinely isometric to a subset of the ultrapower $[{\rm co}(B_0)]_\mathcal U$ of ${\rm co}(B_0)$.


title: Deriving the Traveler Behavior Information from Social Media: A Case Study in Manhattan with Twitter

abstract: Social media platforms, such as Twitter, provide a totally new perspective in dealing with the traffic problems and is anticipated to complement the traditional methods. The geo-tagged tweets can provide the Twitter users' location information and is being applied in traveler behavior analysis. This paper explores the full potentials of Twitter in deriving travel behavior information and conducts a case study in Manhattan Area. A systematic method is proposed to extract displacement information from Twitter locations. Our study shows that Twitter has a unique demographics which combine not only local residents but also the tourists or passengers. For individual user, Twitter can uncover his/her travel behavior features including the time-of-day and location distributions on both weekdays and weekends. For all Twitter users, the aggregated travel behavior results also show that the time-of-day travel patterns in Manhattan Island resemble that of the traffic flow; the identification of OD pattern is also promising by comparing with the results of travel survey.


title: Investigating Dissemination of Scientific Information on Twitter: A Study of Topic Networks in Opioid Publications

abstract: One way to assess a certain aspect of the value of scientific research is to measure the attention it receives on social media. While previous research has mostly focused on the "number of mentions" of scientific research on social media, the current study applies "topic networks" to measure public attention to scientific research on Twitter. Topic networks are the networks of co-occurring author keywords in scholarly publications and networks of co-occurring hashtags in the tweets mentioning those scholarly publications. This study investigates which topics in opioid scholarly publications have received public attention on Twitter. Additionally, it investigates whether the topic networks generated from the publications tweeted by all accounts (bot and non-bot accounts) differ from those generated by non-bot accounts. Our analysis is based on a set of opioid scholarly publications from 2011 to 2019 and the tweets associated with them. We use co-occurrence network analysis to generate topic networks. Results indicated that Twitter users have mostly used generic terms to discuss opioid publications, such as "Opioid," "Pain," "Addiction," "Treatment," "Analgesics," "Abuse," "Overdose," and "Disorders." Results confirm that topic networks provide a legitimate method to visualize public discussions of health-related scholarly publications and how Twitter users discuss health-related scientific research differently from the scientific community. There was a substantial overlap between the topic networks based on the tweets by all accounts and non-bot accounts. This result indicates that it might not be necessary to exclude bot accounts for generating topic networks as they have a negligible impact on the results.


title: Bi-Hamiltonian structure of spin Sutherland models: the holomorphic case

abstract: We construct a bi-Hamiltonian structure for the holomorphic spin Sutherland hierarchy based on collective spin variables. The construction relies on Poisson reduction of a bi-Hamiltonian structure on the holomorphic cotangent bundle of GL(n,C), which itself arises from the canonical symplectic structure and the Poisson structure of the Heisenberg double of the standard GL(n,C) Poisson--Lie group. The previously obtained bi-Hamiltonian structures of the hyperbolic and trigonometric real forms are recovered on real slices of the holomorphic spin Sutherland model.


title: Parameter and density estimation from real-world traffic data: A kinetic compartmental approach

abstract: The main motivation of this work is to assess the validity of a LWR traffic flow model to model measurements obtained from trajectory data, and propose extensions of this model to improve it. A formulation for a discrete dynamical system is proposed aiming at reproducing the evolution in time of the density of vehicles along a road, as observed in the measurements. This system is formulated as a chemical reaction network where road cells are interpreted as compartments, the transfer of vehicles from one cell to the other is seen as a chemical reaction between adjacent compartment and the density of vehicles is seen as a concentration of reactant. Several degrees of flexibility on the parameters of this system, which basically consist of the reaction rates between the compartments, can be considered: a constant value or a function depending on time and/or space. Density measurements coming from trajectory data are then interpreted as observations of the states of this system at consecutive times. Optimal reaction rates for the system are then obtained by minimizing the discrepancy between the output of the system and the state measurements. This approach was tested both on simulated and real data, proved successful in recreating the complexity of traffic flows despite the assumptions on the flux-density relation.


title: Volume growth, capacity estimates, $p$-parabolicity and sharp integrability properties of $p$-harmonic Green functions

abstract: In a complete metric space equipped with a doubling measure supporting a $p$-Poincar\'e inequality, we prove sharp growth and integrability results for $p$-harmonic Green functions and their minimal $p$-weak upper gradients. We show that these properties are determined by the growth of the underlying measure near the singularity. Corresponding results are obtained also for more general $p$-harmonic functions with poles, as well as for singular solutions of elliptic differential equations in divergence form on weighted $\mathbf{R}^n$ and on manifolds. The proofs are based on a new general capacity estimate for annuli, which implies precise pointwise estimates for $p$-harmonic Green functions. The capacity estimate is valid under considerably milder assumptions than above. We also use it, under these milder assumptions, to characterize singletons of zero capacity and the $p$-parabolicity of the space. This generalizes and improves earlier results that have been important especially in the context of Riemannian manifolds.


title: K\"ahler Geometry of Quiver Varieties and Machine Learning

abstract: We develop an algebro-geometric formulation for neural networks in machine learning using the moduli space of framed quiver representations. We find natural Hermitian metrics on the universal bundles over the moduli which are compatible with the GIT quotient construction by the general linear group, and show that their Ricci curvatures give a K\"ahler metric on the moduli. Moreover, we use toric moment maps to construct activation functions, and prove the universal approximation theorem for the multi-variable activation function constructed from the complex projective space.


title: Enhanced solar photocurrent using a quantum dot molecule

abstract: In this paper we make a detailed study of the role of coherent tunneling, on the photocurrent and power delivered by a quantum dot molecule (QDM) in the presence of solar light. We focus our analysis on the coherence driven by tunneling and its impact on the photovoltaic properties of the QDM. The coherence developed by the system raises as a resource from the interplay between the strength of the tunneling coupling, the QDM band alignment, and the coupling rates with the reservoirs of thermal phonons. Our results show that a QDM can deliver up to 30% more power than a single quantum dot, and our calculations of efficiency show coherence effects, which are consistent with the Second Law of Thermodynamics.


title: Parallelizing the Unpacking and Clustering of Detector Data for Reconstruction of Charged Particle Tracks on Multi-core CPUs and Many-core GPUs

abstract: We present results from parallelizing the unpacking and clustering steps of the raw data from the silicon strip modules for reconstruction of charged particle tracks. Throughput is further improved by concurrently processing multiple events using nested OpenMP parallelism on CPU or CUDA streams on GPU. The new implementation along with earlier work in developing a parallelized and vectorized implementation of the combinatoric Kalman filter algorithm has enabled efficient global reconstruction of the entire event on modern computer architectures. We demonstrate the performance of the new implementation on Intel Xeon and NVIDIA GPU architectures.


title: Non-Asymptotic Converse Bounds Via Auxiliary Channels

abstract: This paper presents a new derivation method of converse bounds on the non-asymptotic achievable rate of discrete weakly symmetric memoryless channels. It is based on the finite blocklength statistics of the channel, where with the use of an auxiliary channel the converse bound is produced. This method is general and initially is presented for an arbitrary weakly symmetric channel. Afterwards, the main result is specialized for the $q$-ary erasure channel (QEC), binary symmetric channel (BSC), and QEC with stop feedback. Numerical evaluations show identical or comparable bounds to the state-of-the-art in the cases of QEC and BSC, and a tighter bound for the QEC with stop feedback.


title: Iterated primitives of meromorphic quasimodular forms for $\operatorname{SL}_2(\mathbb Z)$

abstract: We introduce and study iterated primitives of meromorphic quasimodular forms for $\operatorname{SL}_2(\mathbb Z)$, generalizing work of Manin and Brown for holomorphic modular forms. We prove that the algebra of iterated primitives of meromorphic quasimodular forms is naturally isomorphic to a certain explicit shuffle algebra. We deduce from this an Ax--Lindemann--Weierstrass type algebraic independence criterion for primitives of meromorphic quasimodular forms which includes a recent result of Pa\c{s}ol--Zudilin as a special case. We also study spaces of meromorphic modular forms with restricted poles, generalizing results of Guerzhoy in the weakly holomorphic case.


title: On the Evolution of Syntactic Information Encoded by BERT's Contextualized Representations

abstract: The adaptation of pretrained language models to solve supervised tasks has become a baseline in NLP, and many recent works have focused on studying how linguistic information is encoded in the pretrained sentence representations. Among other information, it has been shown that entire syntax trees are implicitly embedded in the geometry of such models. As these models are often fine-tuned, it becomes increasingly important to understand how the encoded knowledge evolves along the fine-tuning. In this paper, we analyze the evolution of the embedded syntax trees along the fine-tuning process of BERT for six different tasks, covering all levels of the linguistic structure. Experimental results show that the encoded syntactic information is forgotten (PoS tagging), reinforced (dependency and constituency parsing) or preserved (semantics-related tasks) in different ways along the fine-tuning process depending on the task.


title: Homology of relative trisection and its application

abstract: Feller, Klug, Schirmer and Zemke showed the homology and the intersection form of a closed trisected 4-manifold are described in terms of trisection diagram. In this paper, it is confirmed that we are able to calculate those of a trisected 4-manifold with boundary in a similar way. Moreover, we describe a representative of the second Stiefel-Whitney class by the relative trisection diagram.


title: Modern Forcing Techniques related to Finite Support Iteration: Ultrapowers, templates, and submodels

abstract: This is an expository paper about several sophisticated forcing techniques closely related to standard finite support iterations of ccc partial orders. We focus on the four topics of ultrapowers of forcing notions, iterations along templates, Boolean ultrapowers of forcing notions, and restrictions of forcing notions to elementary submodels.


title: Forward Beam Monitor for the KATRIN experiment

abstract: The \textit{KArlsruhe TRItium Neutrino} (KATRIN) experiment aims to measure the neutrino mass with a sensitivity of \SI{0.2}{\electronvolt} (\SI{90}{\percent} CL). This will be achieved by a precision measurement of the endpoint region of the $\upbeta$-electron spectrum of tritium decay. The $\upbeta$-electrons are produced in the \textit{Windowless Gaseous Tritium Source} (WGTS) and guided magnetically through the beamline. In order to accurately extract the neutrino mass the source activity is required to be stable and known to a high precision. The WGTS therefore undergoes constant extensive monitoring from several measurement systems. The \textit{Forward Beam Monitor} (FBM) is one such monitoring system. The FBM system comprises a complex mechanical setup capable of inserting a detector board into the KATRIN beamline with a positioning precision of better than \SI{0.3}{\milli\metre}. The electron flux density at that position is on the order of \SI{e6}{\per\second\per\milli\metre\squared}. The detector board contains two silicon detector chips of \pin diode type which can measure the $\upbeta$-electron flux from the source with a precision of \SI{0.1}{\percent} within \SI{60}{\second} with an energy resolution of FWHM $=$ \SI{2}{\kilo\electronvolt}. The unique challenge in developing the FBM arise from its designated operating environment inside the Cryogenic Pumping Section which is a potentially tritium contaminated ultra-high vacuum chamber at cryogenic temperatures in the presence of a \SI{1}{\tesla} strong magnetic field. Each of theses parameters do strongly limit the choice of possible materials which e.g. caused difficulties in detector noise reduction, heat dissipation and lubrication. In order to completely remove the FBM from the beam tube a \SI{2}{\meter} long traveling distance into the beamline is needed demanding a robust as well as highly precise moving mechanism.


title: A Balance for Fairness: Fair Distribution Utilising Physics in Games of Characteristic Function Form

abstract: In chaotic modern society, there is an increasing demand for the realization of true 'fairness'. In Greek mythology, Themis, the 'goddess of justice', has a sword in her right hand to protect society from vices, and a 'balance of judgment' in her left hand that measures good and evil. In this study, we propose a fair distribution method 'utilising physics' for the profit in games of characteristic function form. Specifically, we show that the linear programming problem for calculating 'nucleolus' can be efficiently solved by considering it as a physical system in which gravity works. In addition to being able to significantly reduce computational complexity thereby, we believe that this system could have flexibility necessary to respond to real-time changes in the parameter.

categories: cs.GT cs.AI econ.GN physics.soc-ph q-fin.EC


title: The Initial Mass Function of Low-mass Stars and Brown Dwarfs in the W3 Complex

abstract: We have used archival infrared images obtained with the Wide Field Camera 3 on board the Hubble Space Telescope to constrain the initial mass function of low-mass stars and brown dwarfs in the W3 star-forming region. The images cover 438 arcmin$^2$, which encompasses the entire complex, and were taken in the filters F110W, F139M, and F160W. We have estimated extinctions for individual sources in these data from their colors and have dereddened their photometry accordingly. By comparing an area of the images that contains the richest concentration of previously identified W3 members to an area that has few members and is dominated by background stars, we have estimated the luminosity function for members of W3 with masses of 0.03-0.4 $M_\odot$. That luminosity function closely resembles data in typical nearby star-forming regions that have much smaller stellar populations than W3 ($\lesssim$500 vs. several thousand objects). Thus, we do not find evidence of significant variations in the initial mass function of low-mass stars and brown dwarfs with star forming conditions, which is consistent with recent studies of other distant massive star-forming regions.


title: Highly tunable quadruple quantum dot in a narrow bandgap semiconductor InAs nanowire

abstract: Quantum dots (QDs) made from semiconductors are among the most promising platforms for the developments of quantum computing and simulation chips, and have advantages over other platforms in high density integration and in compatibility to the standard semiconductor chip fabrication technology. However, development of a highly tunable semiconductor multiple QD system still remains as a major challenge. Here, we demonstrate realization of a highly tunable linear quadruple QD (QQD) in a narrow bandgap semiconductor InAs nanowire with fine finger gate technique. The QQD is studied by electron transport measurements in the linear response regime. Characteristic two-dimensional charge stability diagrams containing four groups of resonant current lines of different slopes are found for the QQD. It is shown that these current lines can be individually assigned as arising from resonant electron transport through the energy levels of different QDs. Benefited from the excellent gate tunability, we also demonstrate tuning of the QQD to regimes where the energy levels of two QDs, three QDs and all the four QDs are energetically on resonance, respectively, with the fermi level of source and drain contacts. A capacitance network model is developed for the linear QQD and the simulated charge stability diagrams based on the model show good agreements with the experiments. Our work presents a solid experimental evidence that narrow bandgap semiconductor nanowires multiple QDs could be used as a versatile platform to achieve integrated qubits for quantum computing and to perform quantum simulations for complex many-body systems.


title: Some cluster tilting modules for weighted surface algebras

abstract: Non-singular weighted surface algebras satisfy the necessary condition found in [6] for existence of cluster tilting modules. We show that any such algebra whose Gabriel quiver is bipartite, has a module satisfying the necessary ext vanishing condition. We show that it is 3-cluster tilting precisely for the non-singular triangular or spherical algebras but not for any other weighted surface algebra with bipartite Gabriel quiver.


title: A Deterministic Algorithm for the Discrete Logarithm Problem in a Semigroup

abstract: The discrete logarithm problem in a finite group is the basis for many protocols in cryptography. The best general algorithms which solve this problem have time complexity of $\mathcal{O}(\sqrt{N}\log N)$, and a space complexity of $\mathcal{O}(\sqrt{N})$ where $N$ is the order of the group. (If $N$ is unknown, a simple modification would achieve a time complexity of $\mathcal{O}(\sqrt{N}(\log N)^2)$.) These algorithms require the inversion of some group elements or rely on finding collisions and the existence of inverses, and thus do not adapt to work in the general semigroup setting. For semigroups, probabilistic algorithms with similar time complexity have been proposed. The main result of this paper is a deterministic algorithm for solving the discrete logarithm problem in a semigroup. Specifically, let $x$ be an element in a semigroup having finite order $N_x$. The paper provides an algorithm, which, given any element $y\in \langle x \rangle $, provides all natural numbers $m$ with $x^m=y$, and has time complexity $O(\sqrt{N_x}(\log N_x)^2)$ steps. The paper also gives an analysis of the success rates of the existing probabilistic algorithms, which were so far only conjectured or stated loosely.