title: Solutions of the Dirac equation in one fixed and one moving wall well

abstract: It is very important which the Hamiltonian of the quantum system is time changing, especially the potential well that its width can change, the schrodinger equation and klein Gordon equation of this kind of circumstance are solved by some studies, but the Dirac equation haven't be solved, so this article discussed the solution of the Dirac equation in this kind of circumstance.


title: Quantum technologies for climate change: Preliminary assessment

abstract: Climate change presents an existential threat to human societies and the Earth's ecosystems more generally. Mitigation strategies naturally require solving a wide range of challenging problems in science, engineering, and economics. In this context, rapidly developing quantum technologies in computing, sensing, and communication could become useful tools to diagnose and help mitigate the effects of climate change. However, the intersection between climate and quantum sciences remains largely unexplored. This preliminary report aims to identify potential high-impact use-cases of quantum technologies for climate change with a focus on four main areas: simulating physical systems, combinatorial optimization, sensing, and energy efficiency. We hope this report provides a useful resource towards connecting the climate and quantum science communities, and to this end we identify relevant research questions and next steps.


title: Towards solving the 7-in-a-row game

abstract: Our paper explores the game theoretic value of the 7-in-a-row game. We reduce the problem to solving a finite board game, which we target using Proof Number Search. We present a number of heuristic improvements to Proof Number Search and examine their effect within the context of this particular game. Although our paper does not solve the 7-in-a-row game, our experiments indicate that we have made significant progress towards it.


title: MagTense: a micromagnetic framework using the analytical demagnetization tensor

abstract: We present the open source micromagnetic framework, MagTense, which utilizes a novel discretization approach of rectangular cuboid or tetrahedron geometry "tiles" to analytically calculate the demagnetization field. Each tile is assumed to be uniformly magnetized, and from this assumption only, the demagnetization field can be analytically calculated. Using this novel approach we calculate the solution to the mmag standard micromagnetic problems 2, 3 and 4 and find that the MagTense framework accurately predicts the solution to each of these. Finally, we show that simulation time can be significantly improved by performing the dense demagnetization tensor matrix multiplications using NVIDIA CUDA.


title: Oriental Language Recognition (OLR) 2020: Summary and Analysis

abstract: The fifth Oriental Language Recognition (OLR) Challenge focuses on language recognition in a variety of complex environments to promote its development. The OLR 2020 Challenge includes three tasks: (1) cross-channel language identification, (2) dialect identification, and (3) noisy language identification. We choose Cavg as the principle evaluation metric, and the Equal Error Rate (EER) as the secondary metric. There were 58 teams participating in this challenge and one third of the teams submitted valid results. Compared with the best baseline, the Cavg values of Top 1 system for the three tasks were relatively reduced by 82%, 62% and 48%, respectively. This paper describes the three tasks, the database profile, and the final results. We also outline the novel approaches that improve the performance of language recognition systems most significantly, such as the utilization of auxiliary information.


title: HCGR: Hyperbolic Contrastive Graph Representation Learning for Session-based Recommendation

abstract: Session-based recommendation (SBR) learns users' preferences by capturing the short-term and sequential patterns from the evolution of user behaviors. Among the studies in the SBR field, graph-based approaches are a relatively powerful kind of way, which generally extract item information by message aggregation under Euclidean space. However, such methods can't effectively extract the hierarchical information contained among consecutive items in a session, which is critical to represent users' preferences. In this paper, we present a hyperbolic contrastive graph recommender (HCGR), a principled session-based recommendation framework involving Lorentz hyperbolic space to adequately capture the coherence and hierarchical representations of the items. Within this framework, we design a novel adaptive hyperbolic attention computation to aggregate the graph message of each user's preference in a session-based behavior sequence. In addition, contrastive learning is leveraged to optimize the item representation by considering the geodesic distance between positive and negative samples in hyperbolic space. Extensive experiments on four real-world datasets demonstrate that HCGR consistently outperforms state-of-the-art baselines by 0.43$\%$-28.84$\%$ in terms of $HitRate$, $NDCG$ and $MRR$.


title: Conditions forcing the existence of relative complements in lattices and posets

abstract: It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of L can be replaced by a weaker one formulated in the language of so-called modular triples. We further show that, in general, we need not suppose that x has a complement in L. By introducing the concept of modular triples in posets, we extend our results obtained for lattices to posets. It should be remarked that the notion of a complement can be introduced also in posets that are not bounded.


title: A Three Phase Semantic Web Matchmaker

abstract: Since using environments that are made according to the service oriented architecture, we have more effective and dynamic applications. Semantic matchmaking process is finding valuable service candidates for substitution. It is a very important aspect of using semantic Web Services. Our proposed matchmaker algorithm performs semantic matching of Web Services on the basis of input and output descriptions of semantic Web Services matching. This technique takes advantages from a graph structure and flow networks. Our novel approach is assigning matchmaking scores to semantics of the inputs and outputs parameters and their types. It makes a flow network in which the weights of the edges are these scores, using FordFulkerson algorithm, we find matching rate of two web services. So, all services should be described in the same Ontology Web Language. Among these candidates, best one is chosen for substitution in the case of an execution failure. Our approach uses the algorithm that has the least running time among all others that can be used for bipartite matching. The importance of problem is that in real systems, many fundamental problems will occur by late answering. So system`s service should always be on and if one of them crashes, it would be replaced fast. Semantic web matchmaker eases this process.


title: How to Approximate Ontology-Mediated Queries

abstract: We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable ontology language such as ELI or certain TGDs and (2) replace the database with one from a tractable class such as the class of databases whose treewidth is bounded by a constant. We determine the computational complexity and the relative completeness of the resulting approximations. (Almost) all of them reduce the data complexity from coNP-complete to PTime, in some cases even to fixed-parameter tractable and to linear time. While approximations of kind (1) also reduce the combined complexity, this tends to not be the case for approximations of kind (2). In some cases, the combined complexity even increases.


title: Resonances of $A=4$ $T=1$ isospin triplet states within the \textit{ab initio} no-core Gamow shell model

abstract: The $A=4$ nuclei, i.e., $^4$H, $^4$He and $^4$Li, establish an interesting isospin $T=1$ isobaric system. $^4$H and $^4$Li are unbound broad resonances, whereas $^4$He is deeply bound in its ground state but unbound in all its excited states. The present situation is that experiments so far have not given consistent data on the resonances. Few-body calculations have well studied the scatterings of the $4N$ systems. In the present work, we provide many-body calculations of the broad resonance structures, in an \textit{ab initio} framework with modern realistic interactions. It occurs that, indeed, $^4$H, $^4$Li and excited $^4$He are broad resonances, which is in accordance with experimental observations. The calculations also show that the first $1^-$ excited state almost degenerates with the $2^-$ ground state in the pair of mirror isobars of $^4$H and $^4$Li, which may suggest that the experimental data on energy and width are the mixture of the ground state and the first excited state. The $T = 1$ isospin triplet formed with an excited state of $^4$He and ground states of $^4$H and $^4$Li is studied, focusing on the effect of isospin symmetry breaking.


title: Multiplicative dependence of rational values modulo approximate finitely generated groups

abstract: In this paper, we establish some finiteness results about the multiplicative dependence of rational values modulo sets which are `close' (with respect to the Weil height) to division groups of finitely generated multiplicative groups of a number field $K$. For example, we show that under some conditions on rational functions $f_1, \ldots, f_n\in K(X)$, there are only finitely many elements $\alpha \in K$ such that $f_1(\alpha),\ldots,f_n(\alpha)$ are multiplicatively dependent modulo such sets.


title: Mechanism of exotic density-wave and beyond-Migdal unconventional superconductivity in kagome metal AV3Sb5 (A=K, Rb, Cs)

abstract: Exotic quantum phase transitions in metals, such as the nematic and smectic states, were discovered one after another and found to be universal now. The emergence of unconventional density-wave order in frustrated kagome metal AV$_3$Sb$_5$ and its interplay with exotic superconductivity attract increasing attention. We reveal that the smectic bond-density-wave is naturally caused by the paramagnon interference mechanism, because strong scatterings among different van-Hove singularity points are induced. In addition, the fluctuations of the bond-order induce sizable "beyond-Migdal" pairing glue, and therefore both singlet nodal $s$-wave pairing and triplet $p$-wave pairing states are expected to emerge. The coexistence of both states would explain exotic superconducting states. Unexpected similarities between kagome metal and some Fe-based superconductors are discussed. This study enables us to understand the exotic density wave, superconductivity and their interplay in kagome metals based on the interference mechanism.


title: On the Evaluation of Commit Message Generation Models: An Experimental Study

abstract: Commit messages are natural language descriptions of code changes, which are important for program understanding and maintenance. However, writing commit messages manually is time-consuming and laborious, especially when the code is updated frequently. Various approaches utilizing generation or retrieval techniques have been proposed to automatically generate commit messages. To achieve a better understanding of how the existing approaches perform in solving this problem, this paper conducts a systematic and in-depth analysis of the state-of-the-art models and datasets. We find that: (1) Different variants of the BLEU metric are used in previous works, which affects the evaluation and understanding of existing methods. (2) Most existing datasets are crawled only from Java repositories while repositories in other programming languages are not sufficiently explored. (3) Dataset splitting strategies can influence the performance of existing models by a large margin. Some models show better performance when the datasets are split by commit, while other models perform better when the datasets are split by timestamp or by project. Based on our findings, we conduct a human evaluation and find the BLEU metric that best correlates with the human scores for the task. We also collect a large-scale, information-rich, and multi-language commit message dataset MCMD and evaluate existing models on this dataset. Furthermore, we conduct extensive experiments under different dataset splitting strategies and suggest the suitable models under different scenarios. Based on the experimental results and findings, we provide feasible suggestions for comprehensively evaluating commit message generation models and discuss possible future research directions. We believe this work can help practitioners and researchers better evaluate and select models for automatic commit message generation.


title: Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal

abstract: Currently, practitioners follow a top-down approach in automotive development projects. However, recent studies have shown that this top-down approach is not suitable for the implementation and testing of modern automotive systems. Specifically, practitioners increasingly fail to specify requirements and tests for systems with complex component interactions (e.g., e-mobility systems). In this paper, we address this research gap and propose an integrated and iterative scenario-based technique for the specification of requirements and test scenarios. Our idea is to combine both a top-down and a bottom-up integration strategy. For the top-down approach, we use a behavior-driven development (BDD) technique to drive the modeling of high-level system interactions from the user's perspective. For the bottom-up approach, we discovered that natural language processing (NLP) techniques are suited to make textual specifications of existing components accessible to our technique. To integrate both directions, we support the joint execution and automated analysis of system-level interactions and component-level behavior. We demonstrate the feasibility of our approach by conducting a case study at Kostal (Tier1 supplier). The case study corroborates, among other things, that our approach supports practitioners in improving requirements and test specifications for integrated system behavior.


title: Gate-Assisted Phase Fluctuations in All-Metallic Josephson Junctions

abstract: The discovery that a gate electrode suppresses the supercurrent in purely metallic systems is missing a complete physical understanding of the mechanisms at play. We here study the origin of this reduction in a Superconductor-Normal metal-Superconductor Josephson junction by performing, on the same device, a detailed investigation of the gate-dependent switching probability together with the local tunnelling spectroscopy of the normal metal. We demonstrate that high energy electrons leaking from the gate trigger the reduction of the critical current which is accompanied by an important broadening of the switching histograms. The switching rates are well described by an activation formula including an additional term accounting for the injection of rare high energy electrons from the gate. The rate of electrons obtained from the fit remarkably coincides with the independently measured leakage current. Concomitantly, a negligible elevation of the local temperature is found by tunnelling spectroscopy which excludes overheating scenarios.


title: Measuring scientific output of researchers by t-index and Data Envelopment Analysis

abstract: There is a growing need for ranking universities, departments, research groups, and individual scholars. Usually, the scientific community measures the scientific merits of the researchers by using a variety of indicators that take into account both the productivity of scholars and the impact of their publications. We propose the t-index, the new indicator to measure the scientific merits of the individual researchers. The proposed t-index takes into account the number of citations, number of coauthors on every published paper, and career duration. The t-index makes the possible comparison of researchers at various stages of their careers. We also use in this paper the Data Envelopment Analysis (DEA) to measure the scientific merits of the individual researchers within the observed group of researchers. We chose 15 scholars in the scientific area of transportation engineering and measured their t-index values, as well as DEA scores.


title: A Flexible Multi-Task Model for BERT Serving

abstract: In this demonstration, we present an efficient BERT-based multi-task (MT) framework that is particularly suitable for iterative and incremental development of the tasks. The proposed framework is based on the idea of partial fine-tuning, i.e. only fine-tune some top layers of BERT while keep the other layers frozen. For each task, we train independently a single-task (ST) model using partial fine-tuning. Then we compress the task-specific layers in each ST model using knowledge distillation. Those compressed ST models are finally merged into one MT model so that the frozen layers of the former are shared across the tasks. We exemplify our approach on eight GLUE tasks, demonstrating that it is able to achieve both strong performance and efficiency. We have implemented our method in the utterance understanding system of XiaoAI, a commercial AI assistant developed by Xiaomi. We estimate that our model reduces the overall serving cost by 86%.


title: Tableaux like model checking on-the-fly for ATL+

abstract: We propose a model checking algorithm to test properties of systems that are expressed in the multi-agent temporal logic ATL+. The specificities of this algorithm are: it is on-the-fly, generating states only when they are needed, and it works by constructing a candidate formal proof in an inference system inspired by tableau proof systems.


title: Randomized Quantum Hamiltonian Systems

abstract: We present a procedure for averaging one-parameter random unitary groups and random self-adjoint groups. Central to this is a generalization of the notion of weak convergence of a sequence of measures and the corresponding generalization of the concept of convergence in distribution. The convergence is established in determination of the sequence of compositions of independent random transformations. When sequences of compositions of independent random transformations of the shift by the Euclidean vector in space, the results obtained coincide with the central limit theorem for the sums independent random vectors. The results are applied to the dynamics of quantum systems arising random quantization of the classical Hamiltonian system.


title: DISCO : efficient unsupervised decoding for discrete natural language problems via convex relaxation

abstract: In this paper we study test time decoding; an ubiquitous step in almost all sequential text generation task spanning across a wide array of natural language processing (NLP) problems. Our main contribution is to develop a continuous relaxation framework for the combinatorial NP-hard decoding problem and propose Disco - an efficient algorithm based on standard first order gradient based. We provide tight analysis and show that our proposed algorithm linearly converges to within $\epsilon$ neighborhood of the optima. Finally, we perform preliminary experiments on the task of adversarial text generation and show superior performance of Disco over several popular decoding approaches.


title: Can Evolutionary Computation Help us to Crib the Voynich Manuscript ?

abstract: Departing from the postulate that Voynich Manuscript is not a hoax but rather encodes authentic contents, our article presents an evolutionary algorithm which aims to find the most optimal mapping between voynichian glyphs and candidate phonemic values. Core component of the decoding algorithm is a process of maximization of a fitness function which aims to find most optimal set of substitution rules allowing to transcribe the part of the manuscript -- which we call the Calendar -- into lists of feminine names. This leads to sets of character subsitution rules which allow us to consistently transcribe dozens among three hundred calendar tokens into feminine names: a result far surpassing both ``popular'' as well as "state of the art" tentatives to crack the manuscript. What's more, by using name lists stemming from different languages as potential cribs, our ``adaptive'' method can also be useful in identification of the language in which the manuscript is written. As far as we can currently tell, results of our experiments indicate that the Calendar part of the manuscript contains names from baltoslavic, balkanic or hebrew language strata. Two further indications are also given: primo, highest fitness values were obtained when the crib list contains names with specific infixes at token's penultimate position as is the case, for example, for slavic \textbf{feminine diminutives} (i.e. names ending with -ka and not -a). In the most successful scenario, 240 characters contained in 35 distinct Voynichese tokens were successfully transcribed. Secundo, in case of crib stemming from Hebrew language, whole adaptation process converges to significantly better fitness values when transcribing voynichian tokens whose order of individual characters have been reversed, and when lists feminine and not masculine names are used as the crib.


title: End-to-End Rich Transcription-Style Automatic Speech Recognition with Semi-Supervised Learning

abstract: We propose a semi-supervised learning method for building end-to-end rich transcription-style automatic speech recognition (RT-ASR) systems from small-scale rich transcription-style and large-scale common transcription-style datasets. In spontaneous speech tasks, various speech phenomena such as fillers, word fragments, laughter and coughs, etc. are often included. While common transcriptions do not give special awareness to these phenomena, rich transcriptions explicitly convert them into special phenomenon tokens as well as textual tokens. In previous studies, the textual and phenomenon tokens were simultaneously estimated in an end-to-end manner. However, it is difficult to build accurate RT-ASR systems because large-scale rich transcription-style datasets are often unavailable. To solve this problem, our training method uses a limited rich transcription-style dataset and common transcription-style dataset simultaneously. The Key process in our semi-supervised learning is to convert the common transcription-style dataset into a pseudo-rich transcription-style dataset. To this end, we introduce style tokens which control phenomenon tokens are generated or not into transformer-based autoregressive modeling. We use this modeling for generating the pseudo-rich transcription-style datasets and for building RT-ASR system from the pseudo and original datasets. Our experiments on spontaneous ASR tasks showed the effectiveness of the proposed method.


title: Not Quite 'Ask a Librarian': AI on the Nature, Value, and Future of LIS

abstract: AI language models trained on Web data generate prose that reflects human knowledge and public sentiments, but can also contain novel insights and predictions. We asked the world's best language model, GPT-3, fifteen difficult questions about the nature, value, and future of library and information science (LIS), topics that receive perennial attention from LIS scholars. We present highlights from its 45 different responses, which range from platitudes and caricatures to interesting perspectives and worrisome visions of the future, thus providing an LIS-tailored demonstration of the current performance of AI language models. We also reflect on the viability of using AI to forecast or generate research ideas in this way today. Finally, we have shared the full response log online for readers to consider and evaluate for themselves.


title: Fine-Grained AutoAugmentation for Multi-Label Classification

abstract: Data augmentation is a commonly used approach to improving the generalization of deep learning models. Recent works show that learned data augmentation policies can achieve better generalization than hand-crafted ones. However, most of these works use unified augmentation policies for all samples in a dataset, which is observed not necessarily beneficial for all labels in multi-label classification tasks, i.e., some policies may have negative impacts on some labels while benefitting the others. To tackle this problem, we propose a novel Label-Based AutoAugmentation (LB-Aug) method for multi-label scenarios, where augmentation policies are generated with respect to labels by an augmentation-policy network. The policies are learned via reinforcement learning using policy gradient methods, providing a mapping from instance labels to their optimal augmentation policies. Numerical experiments show that our LB-Aug outperforms previous state-of-the-art augmentation methods by large margins in multiple benchmarks on image and video classification.


title: Identifying Hijacked Reviews

abstract: Fake reviews and review manipulation are growing problems on online marketplaces globally. Review Hijacking is a new review manipulation tactic in which unethical sellers "hijack" an existing product page (usually one with many positive reviews), then update the product details like title, photo, and description with those of an entirely different product. With the earlier reviews still attached, the new item appears well-reviewed. However, there are no public datasets of review hijacking and little is known in the literature about this tactic. Hence, this paper proposes a three-part study: (i) we propose a framework to generate synthetically labeled data for review hijacking by swapping products and reviews; (ii) then, we evaluate the potential of both a Twin LSTM network and BERT sequence pair classifier to distinguish legitimate reviews from hijacked ones using this data; and (iii) we then deploy the best performing model on a collection of 31K products (with 6.5 M reviews) in the original data, where we find 100s of previously unknown examples of review hijacking.


title: The Practice of Ensuring Repeatable and Reproducible Computational Models

abstract: Recent studies have shown that the majority of published computational models in systems biology and physiology are not repeatable or reproducible. There are a variety of reasons for this. One of the most likely reasons is that given how busy modern researchers are and the fact that no credit is given to authors for publishing repeatable work, it is inevitable that this will be the case. The situation can only be rectified when government agencies, universities and other research institutions change policies and that journals begin to insist that published work is in fact at least repeatable if not reproducible. In this chapter guidelines are described that can be used by researchers to help make sure their work is repeatable. A scoring system is suggested that authors can use to determine how well they are doing.


title: Mesoscale Model for Predicting Hydrogen Damage in Face Centre Cubic Crystals

abstract: A study has been performed using a crystal plasticity based finite element method to understand the effect of various stress states and crystal orientations with respect to loading direction for FCC single crystals in both hydrogenated and non-hydrogenated environment. Simulations have been performed for a variety of stress triaxilaities, Lode parmeters, crystal orientations and hydrogen concentrations. It is observed that crystal orientation has a varied effect on the influence hydrogen has on plastic deformation and void growth. Hydrogen in trap distribution at various stages of the deformation process was also found to be influenced by crystal orientation. From analyses performed, an analytical relationship between normalised void fraction and equivalent strain has been derived.


title: Data-driven Modeling of the Mechanical Behavior of Anisotropic Soft Biological Tissue

abstract: Constitutive models that describe the mechanical behavior of soft tissues have advanced greatly over the past few decades. These expert models are generalizable and require the calibration of a number of parameters to fit experimental data. However, inherent pitfalls stemming from the restriction to a specific functional form include poor fits to the data, non-uniqueness of fit, and high sensitivity to parameters. In this study we design and train fully connected neural networks as material models to replace or augment expert models. To guarantee objectivity, the neural network takes isochoric strain invariants as inputs, and outputs the value of strain energy and its derivatives with respect to the invariants. Convexity of the material model is enforced through the loss function. Direct prediction of the derivative functions -- rather than just predicting the energy -- serves two purposes: it provides flexibility during training, and it enables the calculation of the elasticity tensor through back-propagation. We showcase the ability of the neural network to learn the mechanical behavior of porcine and murine skin from biaxial test data. Crucially, we show that a multi-fidelity scheme which combines high fidelity experimental data with low fidelity analytical data yields the best performance. The neural network material model can then be interpreted as the best extension of an expert model: it learns the features that an expert has encoded in the analytical model while fitting the experimental data better. Finally, we implemented a general user material subroutine (UMAT) for the finite element software Abaqus and thereby make our advances available to the broader computational community. We expect that the methods and software generated in this work will broaden the use of data-driven constitutive models in biomedical applications.


title: A classification of conformally flat generalized Ricci recurrent pseudo-Riemannian manifolds

abstract: Conformally flat pseudo-Riemannian manifolds with generalized Ricci recurrent, $(GR)_n$ structure are completely classified in this short report. A conformally flat generalized Ricci recurrent pseudo-Riemannian manifold is shown to be either a de Sitter space or an anti-de Sitter space. In particular, a conformally flat generalized Ricci recurrent spacetime must be either a de Sitter spacetime or an anti-de Sitter spacetime.


title: Bayesian inference of L\'evy walks via hidden Markov models

abstract: The L\'evy walk is a non-Brownian random walk model that has been found to describe anomalous dynamic phenomena in diverse fields ranging from biology over quantum physics to ecology. Recurrently occurring problems are to examine whether observed data are successfully quantified by a model classified as L\'evy walks or not and extract the best model parameters in accordance with the data. Motivated by such needs, we propose a hidden Markov model for L\'evy walks and computationally realize and test the corresponding Bayesian inference method. We introduce a Markovian decomposition scheme to approximate a renewal process governed by a power-law waiting time distribution. Using this, we construct the likelihood function of L\'evy walks based on a hidden Markov model and the forward algorithm. With the L\'evy walk trajectories simulated at various conditions, we perform the Bayesian inference for parameter estimation and model classification. We show that the power-law exponent of the flight-time distribution can be successfully extracted even at the condition that the mean-squared displacement does not display the expected scaling exponent due to the noise or insufficient trajectory length. It is also demonstrated that the Bayesian method performs remarkably inferring the L\'evy walk trajectories from given unclassified trajectory data set if the noise level is moderate.

categories: physics.bio-ph cond-mat.stat-mech physics.data-an q-bio.QM


title: On semi-Quasi-Einstein Manifold

abstract: In the present paper we introduce a semi-quasi-Einstein manifold from a semi symmetric metric connection. Among others, the popular Schwarzschild and Kottler spacetimes are shown to possess this structure. Certain curvature conditions are studied in such a manifold with a Killing generator.


title: Fuzzy-Rough Nearest Neighbour Approaches for Emotion Detection in Tweets

abstract: Social media are an essential source of meaningful data that can be used in different tasks such as sentiment analysis and emotion recognition. Mostly, these tasks are solved with deep learning methods. Due to the fuzzy nature of textual data, we consider using classification methods based on fuzzy rough sets. Specifically, we develop an approach for the SemEval-2018 emotion detection task, based on the fuzzy rough nearest neighbour (FRNN) classifier enhanced with ordered weighted average (OWA) operators. We use tuned ensembles of FRNN--OWA models based on different text embedding methods. Our results are competitive with the best SemEval solutions based on more complicated deep learning methods.


title: Parameter Selection: Why We Should Pay More Attention to It

abstract: The importance of parameter selection in supervised learning is well known. However, due to the many parameter combinations, an incomplete or an insufficient procedure is often applied. This situation may cause misleading or confusing conclusions. In this opinion paper, through an intriguing example we point out that the seriousness goes beyond what is generally recognized. In the topic of multi-label classification for medical code prediction, one influential paper conducted a proper parameter selection on a set, but when moving to a subset of frequently occurring labels, the authors used the same parameters without a separate tuning. The set of frequent labels became a popular benchmark in subsequent studies, which kept pushing the state of the art. However, we discovered that most of the results in these studies cannot surpass the approach in the original paper if a parameter tuning had been conducted at the time. Thus it is unclear how much progress the subsequent developments have actually brought. The lesson clearly indicates that without enough attention on parameter selection, the research progress in our field can be uncertain or even illusive.


title: Nearest neighbour approaches for Emotion Detection in Tweets

abstract: Emotion detection is an important task that can be applied to social media data to discover new knowledge. While the use of deep learning methods for this task has been prevalent, they are black-box models, making their decisions hard to interpret for a human operator. Therefore, in this paper, we propose an approach using weighted $k$ Nearest Neighbours (kNN), a simple, easy to implement, and explainable machine learning model. These qualities can help to enhance results' reliability and guide error analysis. In particular, we apply the weighted kNN model to the shared emotion detection task in tweets from SemEval-2018. Tweets are represented using different text embedding methods and emotion lexicon vocabulary scores, and classification is done by an ensemble of weighted kNN models. Our best approaches obtain results competitive with state-of-the-art solutions and open up a promising alternative path to neural network methods.


title: A Batched GPU Methodology for Numerical Solutions of Partial Differential Equations

abstract: In this paper we present a methodology for data accesses when solving batches of Tridiagonal and Pentadiagonal matrices that all share the same left-hand-side (LHS) matrix. The intended application is to the numerical solution of Partial Differential Equations via the finite-difference method, although the methodology is applicable more broadly. By only storing one copy of this matrix, a significant reduction in storage overheads is obtained, together with a corresponding decrease in compute time. Taken together, these two performance enhancements lead to an overall more efficient implementation over the current state of the art algorithms cuThomasBatch and cuPentBatch, allowing for a greater number of systems to be solved on a single GPU. We demonstrate the methodology in the case of the Diffusion Equation, Hyperdiffusion Equation, and the Cahn--Hilliard Equation, all in one spatial dimension. In this last example, we demonstrate how the method can be used to perform $2^{20}$ independent simulations of phase separation in one dimension. In this way, we build up a robust statistical description of the coarsening phenomenon which is the defining behavior of phase separation. We anticipate that the method will be of further use in other similar contexts requiring statistical simulation of physical systems.


title: Data-Driven Extract Method Recommendations: A Study at ING

abstract: The sound identification of refactoring opportunities is still an open problem in software engineering. Recent studies have shown the effectiveness of machine learning models in recommending methods that should undergo different refactoring operations. In this work, we experiment with such approaches to identify methods that should undergo an Extract Method refactoring, in the context of ING, a large financial organization. More specifically, we (i) compare the code metrics distributions, which are used as features by the models, between open-source and ING systems, (ii) measure the accuracy of different machine learning models in recommending Extract Method refactorings, (iii) compare the recommendations given by the models with the opinions of ING experts. Our results show that the feature distributions of ING systems and open-source systems are somewhat different, that machine learning models can recommend Extract Method refactorings with high accuracy, and that experts tend to agree with most of the recommendations of the model.


title: Enabling microbiome research on personal devices

abstract: Microbiome studies have recently transitioned from experimental designs with a few hundred samples to designs spanning tens of thousands of samples. Modern studies such as the Earth Microbiome Project (EMP) afford the statistics crucial for untangling the many factors that influence microbial community composition. Analyzing those data used to require access to a compute cluster, making it both expensive and inconvenient. We show that recent improvements in both hardware and software now allow to compute key bioinformatics tasks on EMP-sized data in minutes using a gaming-class laptop, enabling much faster and broader microbiome science insights.


title: Autofocusing Optimal Search Algorithm for a Telescope System

abstract: Focus accuracy affects the quality of the astronomical observations. Auto-focusing is necessary for imaging systems designed for astronomical observations. The automatic focus system searches for the best focus position by using a proposed search algorithm. The search algorithm uses the image's focus levels as its objective function in the search process. This paper aims to study the performance of several search algorithms to select a suitable one. The proper search algorithm will be used to develop an automatic focus system for Kottamia Astronomical Observatory (KAO). The optimal search algorithm is selected by applying several search algorithms into five sequences of star-clusters observations. Then, their performance is evaluated based on two criteria, which are accuracy and number of steps. The experimental results show that the Binary search is the optimal search algorithm.


title: Transfer Learning from Synthetic to Real LiDAR Point Cloud for Semantic Segmentation

abstract: Knowledge transfer from synthetic to real data has been widely studied to mitigate data annotation constraints in various computer vision tasks such as semantic segmentation. However, the study focused on 2D images and its counterpart in 3D point clouds segmentation lags far behind due to the lack of large-scale synthetic datasets and effective transfer methods. We address this issue by collecting SynLiDAR, a large-scale synthetic LiDAR dataset that contains point-wise annotated point clouds with accurate geometric shapes and comprehensive semantic classes. SynLiDAR was collected from multiple virtual environments with rich scenes and layouts which consists of over 19 billion points of 32 semantic classes. In addition, we design PCT, a novel point cloud translator that effectively mitigates the gap between synthetic and real point clouds. Specifically, we decompose the synthetic-to-real gap into an appearance component and a sparsity component and handle them separately which improves the point cloud translation greatly. We conducted extensive experiments over three transfer learning setups including data augmentation, semi-supervised domain adaptation and unsupervised domain adaptation. Extensive experiments show that SynLiDAR provides a high-quality data source for studying 3D transfer and the proposed PCT achieves superior point cloud translation consistently across the three setups. SynLiDAR project page: \url{https://github.com/xiaoaoran/SynLiDAR}


title: Pythagorean Triples, B\'{e}zout Coefficients and the Erd\H{o}s-Straus Conjeceture

abstract: This paper is a preliminary expository paper that outlines the relationship between solutions to the Erd\H{o}s-Straus conjecture for a given prime $p$ and their corresponding Pythagorean triples. This paper also uses B\'{e}zout Coefficients to find a relationship between the solutions to the conjecture and roots of a second degree polynomial.


title: Spin wave driven domain wall motion in easy-plane ferromagnets: a particle perspective

abstract: In easy-plane ferromagnets, we show that the interplay between a domain wall and a spin wave packet can be formulated as the collision of two massive particles with a gravity-like attraction. In the presence of magnetic dissipation, the domain wall mimics a particle subject to viscous friction, while the spin wave packet resembles a particle of variable mass. Due to attractive nature of the interaction, the domain wall acquires a backward displacement as a spin wave packet penetrating the domain wall, even though there is no change in momentum of the wave packet before and after penetration.


title: The Duality of the Volumes and the Numbers of Vertices of Random Polytopes

abstract: An identity due to Efron dating from 1965 relates the expected volume of the convex hull of $n$ random points to the expected number of vertices of the convex hull of $n+1$ random points. Forty years later this identity was extended from expected values to higher moments. The generalized identity has attracted considerable interest. Whereas the left-hand side of the generalized identity -- concerning the volume -- has an immediate geometric interpretation, this is not the case for the right-hand side -- concerning the number of vertices. A transformation of the right-hand side applying an identity for elementary symmetric polynomials overcomes the blemish. The arising formula reveals a duality between the volumes and the numbers of vertices of random polytopes.


title: Randomized benchmarking for non-Markovian noise

abstract: Estimating the features of noise is the first step in a chain of protocols that will someday lead to fault tolerant quantum computers. The randomized benchmarking (RB) protocol is designed with this exact mindset, estimating the average strength of noise in a quantum processor with relative ease in practice. However, RB, along with most other benchmarking and characterization methods, is limited in scope because it assumes that the noise is temporally uncorrelated (Markovian), which is increasingly evident not to be the case. Here, we combine the RB protocol with a recent framework describing non-Markovian quantum phenomena to derive a general analytical expression of the average sequence fidelity (ASF) for non-Markovian RB with the Clifford group. We show that one can identify non-Markovian features of the noise directly from the ASF through its deviations from the Markovian case, proposing a set of methods to collectively estimate these deviations, non-Markovian memory time-scales, and diagnose (in)coherence of non-Markovian noise in an RB experiment. Finally, we demonstrate the efficacy of our proposal by means of several proof-of-principle examples. Our methods are directly implementable and pave the pathway to better understanding correlated noise in quantum processors.


title: A note on Fourier-Mukai partners of abelian varieties over positive characteristic fields

abstract: Over complex numbers, the Fourier-Mukai partners of abelian varieties are well-understood. A celebrated result is Orlov's derived Torelli theorem. In this note, we study the FM-partners of abelian varieties in positive characteristic. We notice that, in odd characteristics, two abelian varieties of odd dimension are derived equivalent if their associated Kummer stacks are derived equivalent, which is Krug and Sosna's result over complex numbers. For abelian surfaces in odd characteristic, we show that two abelian surfaces are derived equivalent if and only if their associated Kummer surfaces are isomorphic. This extends the result [doi:10.1215/s0012-7094-03-12036-0] to odd characteristic fields, which solved a classical problem originally from Shioda. Furthermore, we establish the derived Torelli theorem for supersingular abelian varieties and apply it to characterize the quasi-liftable birational models of supersingular generalized Kummer varieties.


title: Learning Expected Emphatic Traces for Deep RL

abstract: Off-policy sampling and experience replay are key for improving sample efficiency and scaling model-free temporal difference learning methods. When combined with function approximation, such as neural networks, this combination is known as the deadly triad and is potentially unstable. Recently, it has been shown that stability and good performance at scale can be achieved by combining emphatic weightings and multi-step updates. This approach, however, is generally limited to sampling complete trajectories in order, to compute the required emphatic weighting. In this paper we investigate how to combine emphatic weightings with non-sequential, off-line data sampled from a replay buffer. We develop a multi-step emphatic weighting that can be combined with replay, and a time-reversed $n$-step TD learning algorithm to learn the required emphatic weighting. We show that these state weightings reduce variance compared with prior approaches, while providing convergence guarantees. We tested the approach at scale on Atari 2600 video games, and observed that the new X-ETD($n$) agent improved over baseline agents, highlighting both the scalability and broad applicability of our approach.


title: Generalized Augmented Cellular Alternating Links in Thickened Surfaces are Hyperbolic

abstract: Menasco proved that nontrivial links in the 3-sphere with connected prime alternating non-2-braid projections are hyperbolic. This was further extended to augmented alternating links wherein non-isotopic trivial components bounding disks punctured twice by the alternating link were added. Lackenby proved that the first and second collections of links together form a closed subset of the set of all finite volume hyperbolic 3-manifolds in the geometric topology. Adams showed hyperbolicity for generalized augmented alternating links, which include additional trivial components that bound n-punctured disks for $n \geq 2$. Here we prove that generalized augmented cellular alternating links in I-bundles over closed surfaces are also hyperbolic and that in $S \times I$, the cellular alternating links and the augmented cellular alternating together form a closed subset of finite volume hyperbolic 3-manifolds in the geometric topology. Explicit examples of additional links in $S \times I$ to which these results apply are included.


title: PonderNet: Learning to Ponder

abstract: In standard neural networks the amount of computation used grows with the size of the inputs, but not with the complexity of the problem being learnt. To overcome this limitation we introduce PonderNet, a new algorithm that learns to adapt the amount of computation based on the complexity of the problem at hand. PonderNet learns end-to-end the number of computational steps to achieve an effective compromise between training prediction accuracy, computational cost and generalization. On a complex synthetic problem, PonderNet dramatically improves performance over previous adaptive computation methods and additionally succeeds at extrapolation tests where traditional neural networks fail. Also, our method matched the current state of the art results on a real world question and answering dataset, but using less compute. Finally, PonderNet reached state of the art results on a complex task designed to test the reasoning capabilities of neural networks.1


title: Don't Touch Me! A Comparison of Usability on Touch and Non-Touch Inputs

abstract: Public touchscreens are filthy and, regardless of how often they are cleaned, they pose a considerable risk in the transmission of bacteria and viruses. While we rely on their use, we should find a feasible alternative to touch devices. Non-touch (touchless) interaction, via the use of mid-air gestures, has been previously labelled as not user friendly and unsuitable. However, previous works have extensively compared such interaction to precise mouse movements. In this paper, we investigate and compare the usability of an interface controlled via a touchscreen and a non-touch device. Participants (N=22) using a touchscreen and the Leap Motion Controller, performed tasks on a mock-up ticketing machine, later evaluating their experience using the System Usability and Gesture Usability scales. Results show that, in contrast to the previous works, the non-touch method was usable and quickly learnable. We conclude with recommendations for future work on making a non-touch interface more user-friendly.


title: Geographic characterization of railway systems

abstract: Railway systems provide pivotal support to modern societies, making their efficiency and robustness important to ensure. However, these systems are susceptible to disruptions and delays, leading to accumulating economic damage. The large spatial scale of delay spreading typically make it difficult to distinguish which regions will ultimately affected from an initial disruption, creating uncertainty for risk assessment. In this paper, we identify geographical structures that reflect how delay spreads through railway networks. We do so by proposing a graph-based, hybrid schedule and empirical-based model for delay propagation and apply spectral clustering. We apply the model to four European railway systems: the Netherlands, Germany, Switzerland and Italy. We characterize geographical structures in the railway systems of these countries and interpret these regions in terms of delay severity and how dynamically disconnected they are from the rest. The method also allows us to point out important differences between these countries' railway systems. For practitioners, this geographical characterization of railways provide natural boundaries for local decision-making structures and a first-order prioritization on which regions are at risk, given an initial disruption.


title: Quantum transport through a quantum dot side-coupled to a Majorana bound state pair in the presence of electron-phonon interaction

abstract: We theoretically study quantum transport through a quantum dot coupled to Majorana bound states confined at the ends of a topological superconducting nanowire. The topological superconductor forms a loop and is threaded by a tunable magnetic flux, which allows one to control the electron transport in the system. In particular, we investigate phonon-assisted transport properties in the device when the central quantum dot interacts with a single long-wave optical phonon mode. We find that when the two Majorana bound states are unhybridized, the zero-temperature linear conductance has a $2\pi$ periodicity as a function of magnetic flux phase, independent of the electron-phonon interaction, the quantum dot energy, or the finite values of dot-Majorana couplings. For a finite overlap between the Majorana bound states, the linear conductance periodicity generally changes to $4\pi$ either due to a finite electron-phonon coupling strength, or a dot energy level that is tuned away from the Fermi level. Additionally, the differential conductance periodicity changes from $2\pi$ to $4\pi$ when the Majorana bound states hybridize and the electron-phonon coupling is finite. Our results provide insight into transport signatures expected in topological quantum computational platforms that integrate quantum dots as a means for Majorana qubit readout. The energy exchange with an environmental bath, here a single phonon mode, significantly alters the current signatures expected from Majorana modes.


title: Weakened Random Oracle Models with Target Prefix

abstract: Weakened random oracle models (WROMs) are variants of the random oracle model (ROM). The WROMs have the random oracle and the additional oracle which breaks some property of a hash function. Analyzing the security of cryptographic schemes in WROMs, we can specify the property of a hash function on which the security of cryptographic schemes depends. Liskov (SAC 2006) proposed WROMs and later Numayama et al. (PKC 2008) formalized them as CT-ROM, SPT-ROM, and FPT-ROM. In each model, there is the additional oracle to break collision resistance, second preimage resistance, preimage resistance respectively. Tan and Wong (ACISP 2012) proposed the generalized FPT-ROM (GFPT-ROM) which intended to capture the chosen prefix collision attack suggested by Stevens et al. (EUROCRYPT 2007). In this paper, in order to analyze the security of cryptographic schemes more precisely, we formalize GFPT-ROM and propose additional three WROMs which capture the chosen prefix collision attack and its variants. In particular, we focus on signature schemes such as RSA-FDH, its variants, and DSA, in order to understand essential roles of WROMs in their security proofs.


title: giotto-ph: A Python Library for High-Performance Computation of Persistent Homology of Vietoris-Rips Filtrations

abstract: We introduce giotto-ph, a high-performance, open-source software package for the computation of Vietoris-Rips barcodes. giotto-ph is based on Morozov and Nigmetov's lockfree (multicore) implementation of Ulrich Bauer's Ripser package. It also contains a re-working of the GUDHI library's implementation of Boissonnat and Pritam's Edge Collapser, which can be used as a pre-processing step to dramatically reduce overall run-times in certain scenarios. Our contribution is twofold: on the one hand, we integrate existing state-of-the-art ideas coherently in a single library and provide Python bindings to the C++ code. On the other hand, we increase parallelization opportunities and improve overall performance by adopting more efficient data structures. Our persistent homology backend establishes a new state of the art, surpassing even GPU-accelerated implementations such as Ripser++ when using as few as 5-10 CPU cores. Furthermore, our implementation of Edge Collapser has fewer software dependencies and improved run-times relative to GUDHI's original implementation.


title: Formal Methods in Railways: a Systematic Mapping Study

abstract: Formal methods are mathematically-based techniques for the rigorous development of software-intensive systems. The railway signaling domain is a field in which formal methods have traditionally been applied, with several success stories. This article reports on a mapping study that surveys the landscape of research on applications of formal methods to the development of railway systems. Our main results are as follows: (i) we identify a total of 328 primary studies relevant to our scope published between 1989 and 2020, of which 44% published during the last 5 years and 24% involving industry; (ii) the majority of studies are evaluated through Examples (41%) and Experience Reports (38%), while full-fledged Case Studies are limited (1.5%); (iii) Model checking is the most commonly adopted technique (47%), followed by simulation (27%) and theorem proving (19.5%); (iv) the dominant languages are UML (18%) and B (15%), while frequently used tools are ProB (9%), NuSMV (8%) and UPPAAL (7%); however, a diverse landscape of languages and tools is employed; (v) the majority of systems are interlocking products (40%), followed by models of high-level control logic (27%); (vi) most of the studies focus on the Architecture (66%) and Detailed Design (45%) development phases. Based on these findings, we highlight current research gaps and expected actions. In particular, the need to focus on more empirically sound research methods, such as Case Studies and Controlled Experiments, and to lower the degree of abstraction, by applying formal methods and tools to development phases that are closer to software development. Our study contributes with an empirically based perspective on the future of research and practice in formal methods applications for railways.


title: Cohesion and Repulsion in Bayesian Distance Clustering

abstract: Clustering in high-dimensions poses many statistical challenges. While traditional distance-based clustering methods are computationally feasible, they lack probabilistic interpretation and rely on heuristics for estimation of the number of clusters. On the other hand, probabilistic model-based clustering techniques often fail to scale and devising algorithms that are able to effectively explore the posterior space is an open problem. Based on recent developments in Bayesian distance-based clustering, we propose a hybrid solution that entails defining a likelihood on pairwise distances between observations. The novelty of the approach consists in including both cohesion and repulsion terms in the likelihood, which allows for cluster identifiability. This implies that clusters are composed of objects which have small "dissimilarities" among themselves (cohesion) and similar dissimilarities to observations in other clusters (repulsion). We show how this modelling strategy has interesting connection with existing proposals in the literature as well as a decision-theoretic interpretation. The proposed method is computationally efficient and applicable to a wide variety of scenarios. We demonstrate the approach in a simulation study and an application in digital numismatics.


title: Laser Ablation of Al-Ni Alloys and Al-Ni Layer Systems simulated with Molecular Dynamics and the Two-Temperature Model

abstract: Laser ablation of Al-Ni alloys and Al films on Ni substrates has been studied by molecular dynamics simulations (MD). The MD method was combined with a two-temperature model to describe the interaction between the laser beam, the electrons and the atoms. The challenge for alloys and mixtures is to find the electronic parameters: electron heat conductivity, electron heat capacity and electron-phonon coupling parameter. The challenge for layered systems is to run simulations of an inhomogeneous system which requires modification of the simulation code. Ablation and laser-induced melting was studied for several Al-Ni compounds. At low fluences above the threshold ordinary ablation behavior occurred while at high fluences the ablation mechanism changed in Al$_3$Ni and AlNi$_3$ from phase explosion to vaporization. Al films of various thicknesses on a Ni substrate have also been simulated. Above threshold, 8 nm Al films are ablated as a whole while 24 nm Al films are only partially removed. Below threshold, alloying with a mixture gradient has been observed in the thin layer system.


title: Ejecta Speed with the Projectile Velocity less than 2 km/s

abstract: This work is a theoretical study of the speed at which the material of an impacted target is ejected during the formation of an impact crater. Our model, starting from the first principle of thermodynamics, can describes the speed of the ejecta recursing to considerations that include complex process in simple calculations. The fit of the model with observations shows that the many complex details implicit in an impact process could be included in some few parameters. Ejecta speed could be described independent of impactor parameters. The model is compared with subsonic and supersonic speed experiments showing coincidence in several cases. The model works with subsonic and supersonic impacts. We do not compare the model with hypersonic impacts (> 5 km/s), however, as the model derivation no depends on the impactor velocity it is likely that also work with this kind of impacts.


title: Deep-UV-enhanced supercontinuum generated in tapered gas-filled photonic crystal fiber

abstract: We present the use of linearly down-tapered gas-filled hollow-core photonic crystal fiber in a single-stage, pumped with pulses from a compact infrared laser source, to generate a supercontinuum carrying significant spectral power in the deep ultraviolet (200 - 300 nm). The generated supercontinuum extends from the near infrared down to around 213 nm with up to 0.83 mW/nm in the deep ultraviolet.


title: MECT: Multi-Metadata Embedding based Cross-Transformer for Chinese Named Entity Recognition

abstract: Recently, word enhancement has become very popular for Chinese Named Entity Recognition (NER), reducing segmentation errors and increasing the semantic and boundary information of Chinese words. However, these methods tend to ignore the information of the Chinese character structure after integrating the lexical information. Chinese characters have evolved from pictographs since ancient times, and their structure often reflects more information about the characters. This paper presents a novel Multi-metadata Embedding based Cross-Transformer (MECT) to improve the performance of Chinese NER by fusing the structural information of Chinese characters. Specifically, we use multi-metadata embedding in a two-stream Transformer to integrate Chinese character features with the radical-level embedding. With the structural characteristics of Chinese characters, MECT can better capture the semantic information of Chinese characters for NER. The experimental results obtained on several well-known benchmarking datasets demonstrate the merits and superiority of the proposed MECT method.\footnote{The source code of the proposed method is publicly available at https://github.com/CoderMusou/MECT4CNER.


title: A New Approach for Active Automata Learning Based on Apartness

abstract: We present $L^{\#}$, a new and simple approach to active automata learning. Instead of focusing on equivalence of observations, like the $L^{\ast}$ algorithm and its descendants, $L^{\#}$ takes a different perspective: it tries to establish apartness, a constructive form of inequality. $L^{\#}$ does not require auxiliary notions such as observation tables or discrimination trees, but operates directly on tree-shaped automata. $L^{\#}$ has the same asymptotic query and symbol complexities as the best existing learning algorithms, but we show that adaptive distinguishing sequences can be naturally integrated to boost the performance of $L^{\#}$ in practice. Experiments with a prototype implementation, written in Rust, suggest that $L^{\#}$ is competitive with existing algorithms.


title: $\delta_{CP}$ for leptons and a new take on CP physics with the FSM

abstract: A bonus of the framed standard model (FSM), constructed initially to explain the mass and mixing patterns of quarks and leptons, is asolution (without axions) of the strong CP problem by cancelling the theta-angle term $\theta_I$ $Tr (H^{\mu \nu} H^*_{\mu \nu})$ in colour by a chiral transformation on a quark zero mode which is inherent in FSM, and produces thereby a CP-violating phase in the CKM matrix similar in size to what is observed. Extending here to flavour, one finds that there are two terms proportional to $Tr (G^{\mu\nu}G^*_{\mu\nu})$: (a) in the action from flavour instantons with unknown coefficient, say $\theta'_I$, (b) induced by the above FSM solution to the strong CP-problem with therefore known coefficient $\theta'_C$. Both terms can be cancelled in the FSM by a chiral transformation on the lepton zero mode to give a Jarlskog invariant $J'$ in the PMNS matrix for leptons of order $10^{-2}$, as is hinted by experiment. But if the term $\theta'_I$ is to be cancelled by a chiral transformation in the predicted hidden sector to solve the strong CP problem therein, leaving only the term $\theta'_C$ to be cancelled by the chiral transformation on leptons, then the following prediction results: $J'\sim-0.012$ ($\delta'_{CP}\sim(1.11)\pi$) which is (i) of the right order, (ii) of the right sign, (iii) in the range favoured by present experiment. Together with the earlier result for quarks, this offers an attractive unified treatment of all known CP physics.


title: Can $E_8$ unification at low energies be consistent with proton decay?

abstract: A model is presented that achieves unification of the full Standard Model (SM) field content into a single superfield. It has $E_8$ as a gauge group and simple SUSY in ten spacetime dimensions. The extra dimensions are orbifolded such that they reduce the gauge symmetry directly to the SM one. At low energies, only the SM field content remains with viable unified Yukawa couplings. Full unification can be achieved at energies as low as $10^6\ \rm{GeV}$ with controlled proton decay.


title: The neutron cross section of low-temperature heteronuclear diatomic fluids

abstract: The present work deals with the formal description of the response to neutrons of heteronuclear diatomic liquids, with special interest in the case of hydrogen deuteride as a possible candidate for the moderation process required in the production of cold neutrons. Preliminary evaluations of the model giving the neutron double differential cross section of a heteronuclear vibrating rotor are performed by using, as a first approximation, the ideal gas law for the centre-of-mass translational dynamics, which is expected to be appropriate at incident neutron energies above the thermal region. The unavailability of double differential cross section experimental data on liquid HD compels to test the model calculations only at an integral level, i.e. against the only measurement carried out on liquid HD for the determination of its neutron total cross section. The present findings indicate the evident need of more accurate measurements of the total cross section, as well as of future work devoted to double differential cross section determinations and appropriate simulations of the translational dynamics of this weakly quantum fluid.


title: Magnetic unit vector fields

abstract: We show that a unit vector field on an oriented Riemannian manifold is a critical point of the Landau Hall functional if and only if it is a critical point of the Dirichlet energy functional. Therefore, we provide a characterization for a unit vector field to be a magnetic map into its unit tangent sphere bundle. Then, we classify all magnetic left invariant unit vector fields on $3$-dimensional Lie groups.


title: Plasmonic nonvolatile memory crossbar arrays for artificial neural networks

abstract: Here it is proposed a three-dimensional plasmonic nonvolatile memory crossbar arrays that can ensure a dual-mode operation in electrical and optical domains. This can be realized through plasmonics that serves as a bridge between photonics and electronics as the metal electrode is part of the waveguide. The proposed arrangement is based on low-loss long-range dielectric-loaded surface plasmon polariton waveguide where a metal stripe is placed between a buffer layer and ridge. To achieve a dual-mode operation the materials were defined that can provide both electrical and optical modulation functionality.


title: On Some Properties of Measurable Functions in Abstract Spaces

abstract: In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.


title: Computer-Aided Diagnosis of Low Grade Endometrial Stromal Sarcoma (LGESS)

abstract: Low grade endometrial stromal sarcoma (LGESS) is rare form of cancer, accounting for about 0.2% of all uterine cancer cases. Approximately 75% of LGESS patients are initially misdiagnosed with leiomyoma, which is a type of benign tumor, also known as fibroids. In this research, uterine tissue biopsy images of potential LGESS patients are preprocessed using segmentation and staining normalization algorithms. A variety of classic machine learning and leading deep learning models are then applied to classify tissue images as either benign or cancerous. For the classic techniques considered, the highest classification accuracy we attain is about 0.85, while our best deep learning model achieves an accuracy of approximately 0.87. These results indicate that properly trained learning algorithms can play a useful role in the diagnosis of LGESS.


title: Choosing Imputation Models

abstract: Imputing missing values is an important preprocessing step in data analysis, but the literature offers little guidance on how to choose between different imputation models. This letter suggests adopting the imputation model that generates a density of imputed values most similar to those of the observed values for an incomplete variable after balancing all other covariates. We recommend stable balancing weights as a practical approach to balance covariates whose distribution is expected to differ if the values are not missing completely at random. After balancing, discrepancy statistics can be used to compare the density of imputed and observed values. We illustrate the application of the suggested approach using simulated and real-world survey data from the American National Election Study, comparing popular imputation approaches including random forests, hot-deck, predictive mean matching, and multivariate normal imputation. An R package implementing the suggested approach accompanies this letter.


title: Construction of KdV flow

abstract: A KdV flow is constructed on a space whose structure is described in terms of the spectrum of the underlying Schr\"odinger operators. The space includes the conventional decaying functions and ergodic ones. Especially any smooth almost periodic function can be initial data for the KdV equation.


title: DPCRN: Dual-Path Convolution Recurrent Network for Single Channel Speech Enhancement

abstract: The dual-path RNN (DPRNN) was proposed to more effectively model extremely long sequences for speech separation in the time domain. By splitting long sequences to smaller chunks and applying intra-chunk and inter-chunk RNNs, the DPRNN reached promising performance in speech separation with a limited model size. In this paper, we combine the DPRNN module with Convolution Recurrent Network (CRN) and design a model called Dual-Path Convolution Recurrent Network (DPCRN) for speech enhancement in the time-frequency domain. We replace the RNNs in the CRN with DPRNN modules, where the intra-chunk RNNs are used to model the spectrum pattern in a single frame and the inter-chunk RNNs are used to model the dependence between consecutive frames. With only 0.8M parameters, the submitted DPCRN model achieves an overall mean opinion score (MOS) of 3.57 in the wide band scenario track of the Interspeech 2021 Deep Noise Suppression (DNS) challenge. Evaluations on some other test sets also show the efficacy of our model.


title: TOI-1749: an M dwarf with a Trio of Planets including a Near-Resonant Pair

abstract: We report the discovery of one super-Earth- (TOI-1749b) and two sub-Neptune-sized planets (TOI-1749c and TOI-1749d) transiting an early M dwarf at a distance of 100~pc, which were first identified as planetary candidates using data from the TESS photometric survey. We have followed up this system from the ground by means of multiband transit photometry, adaptive-optics imaging, and low-resolution spectroscopy, from which we have validated the planetary nature of the candidates. We find that TOI-1749b, c, and d have orbital periods of 2.39, 4.49, and 9.05 days, and radii of 1.4, 2.1, and 2.5 $R_\oplus$, respectively. We also place 95\% confidence upper limits on the masses of 57, 14, and 15 $M_\oplus$ for TOI-1749b, c, and d, respectively, from transit timing variations. The periods, sizes, and tentative masses of these planets are in line with a scenario in which all three planets initially had a hydrogen envelope on top of a rocky core, and only the envelope of the innermost planet has been stripped away by photoevaporation and/or core-powered mass loss mechanisms. These planets are similar to other planetary trios found around M dwarfs, such as TOI-175b,c,d and TOI-270b,c,d, in the sense that the outer pair has a period ratio within 1\% of 2. Such a characteristic orbital configuration, in which an additional planet is located interior to a near 2:1 period-ratio pair, is relatively rare around FGK dwarfs.


title: CoBERL: Contrastive BERT for Reinforcement Learning

abstract: Many reinforcement learning (RL) agents require a large amount of experience to solve tasks. We propose Contrastive BERT for RL (CoBERL), an agent that combines a new contrastive loss and a hybrid LSTM-transformer architecture to tackle the challenge of improving data efficiency. CoBERL enables efficient, robust learning from pixels across a wide range of domains. We use bidirectional masked prediction in combination with a generalization of recent contrastive methods to learn better representations for transformers in RL, without the need of hand engineered data augmentations. We find that CoBERL consistently improves performance across the full Atari suite, a set of control tasks and a challenging 3D environment.


title: Data-Driven Surrogates of Rotating Detonation Engine Physics with Neural ODEs and High-Speed Camera Footage

abstract: Interacting multi-scale physics present in the Rotating Detonation Engine lead to diverse nonlinear dynamical behavior, including combustion wave mode-locking, modulation, and bifurcations. In this work, surrogate models of the RDE physics, including combustion, injection, and mixing, are sought that can reproduce the observed behavior through their interactions. These surrogate models are constructed and trained within the context of Neural ODEs evolving through the latent representation of the waves: the traveling wave coordinate $\xi = x - ct + a$. Shown is that the multi-scale nature of the physics can be successfully separated and analyzed separately, providing valuable insight into the fundamental physical processes of the RDE.


title: Fragile topologically flat band in the checkerboard antiferromagnetic monolayer FeSe

abstract: By means of the first-principles calculations and magnetic topological quantum chemistry, we demonstrate that the low energy physics in the checkerboard antiferromagnetic (AFM) monolayer FeSe, very close to an AFM topological insulator that hosts robust edge states, can be well captured by a double-degenerate fragile topologically flat band just below the Fermi level. The Wilson loop calculations identify that such fragile topology is protected by the $S_{4z}$ symmetry, which gives rise to an AFM higher-order topological insulator that support the bound state with fractional charge $e/2$ at the sample corner. This is the first reported $S_{4z}$-protected fragile topological material, which provides a new platform to study the intriguing properties of magnetic fragile topological electronic states. Previous observations of the edge states and bound states in checkerboard AFM monolayer FeSe can also be well understood in our work.


title: Polynomial-time algorithm for Maximum Independent Set in bounded-degree graphs with no long induced claws

abstract: For graphs $G$ and $H$, we say that $G$ is $H$-free if it does not contain $H$ as an induced subgraph. Already in the early 1980s Alekseev observed that if $H$ is connected, then the \textsc{Max Weight Independent Set} problem (MWIS) remains \textsc{NP}-hard in $H$-free graphs, unless $H$ is a path or a subdivided claw, i.e., a graph obtained from the three-leaf star by subdividing each edge some number of times (possibly zero). Since then determining the complexity of MWIS in these remaining cases is one of the most important problems in algorithmic graph theory. A general belief is that the problem is polynomial-time solvable, which is witnessed by algorithmic results for graphs excluding some small paths or subdivided claws. A more conclusive evidence was given by the recent breakthrough result by Gartland and Lokshtanov [FOCS 2020]: They proved that MWIS can be solved in quasipolynomial time in $H$-free graphs, where $H$ is any fixed path. If $H$ is an arbitrary subdivided claw, we know much less: The problem admits a QPTAS and a subexponential-time algorithm [Chudnovsky et al., SODA 2019]. In this paper we make an important step towards solving the problem by showing that for any subdivided claw $H$, MWIS is polynomial-time solvable in $H$-free graphs of bounded degree.


abstract: An equigenerated monomial ideal $I$ is a Freiman ideal if $\mu(I^2)=\ell(I)\mu(I)-{\ell(I)\choose 2}$ where $\ell(I)$ is the analytic spread of $I$ and $\mu(I)$ is the least number of monomial generators of $I$. Freiman ideals are special since there exists an exact formula computing the least number of monomial generators of any of their powers. In this paper we give a complete classification of Freiman $t$-spread principal Borel ideals.


title: First-order phase transformation at constant volume: a continuous transition?

abstract: We describe a first-order phase transition of a simple system in a process where the volume is kept constant. We show that, unlike what happens when the pressure is constant, (i) the transformation extends over a finite temperature (and pressure) range, (ii) each and every extensive potential (internal energy $U$, enthalpy $H$, Helmholtz energy $F$ and Gibbs energy $G$), and the entropy $S$, is continuous across the transition, and (iii) the constant-volume heat capacity does not diverge during the transition, only exhibits discrete jumps. These non-intuitive results highlight the importance of controlling the correct variables in order to distinguish between continuous and discontinuous transitions. Additionally, they provide a didactic tool to further discuss the phase transitions phenomena. We apply our results to describe the transition between ice VI and liquid water using thermodynamic information available in the literature.


title: Sentinel-1 Additive Noise Removal from Cross-Polarization Extra-Wide TOPSAR with Dynamic Least-Squares

abstract: Sentinel-1 is a synthetic aperture radar (SAR) platform with an operational mode called extra wide (EW) that offers large regions of ocean areas to be observed. A major issue with EW images is that the cross-polarized HV and VH channels have prominent additive noise patterns relative to low backscatter intensity, which disrupts tasks that require manual or automated interpretation. The European Space Agency (ESA) provides a method for removing the additive noise pattern by means of lookup tables, but applying them directly produces unsatisfactory results because characteristics of the noise still remain. Furthermore, evidence suggests that the magnitude of the additive noise dynamically depends on factors that are not considered by the ESA estimated noise field. To address these issues we propose a quadratic objective function to model the mis-scale of the provided noise field on an image. We consider a linear denoising model that re-scales the noise field for each subswath, whose parameters are found from a least-squares solution over the objective function. This method greatly reduces the presence of additive noise while not requiring a set of training images, is robust to heterogeneity in images, dynamically estimates parameters for each image, and finds parameters using a closed-form solution. Two experiments were performed to validate the proposed method. The first experiment simulated noise removal on a set of RADARSAT-2 images with noise fields artificially imposed on them. The second experiment conducted noise removal on a set of Sentinel-1 images taken over the five oceans. Afterwards, quality of the noise removal was evaluated based on the appearance of open-water. The two experiments indicate that the proposed method marks an improvement both visually and through numerical measures.


title: Bayesian brains and the R\'enyi divergence

abstract: Under the Bayesian brain hypothesis, behavioural variations can be attributed to different priors over generative model parameters. This provides a formal explanation for why individuals exhibit inconsistent behavioural preferences when confronted with similar choices. For example, greedy preferences are a consequence of confident (or precise) beliefs over certain outcomes. Here, we offer an alternative account of behavioural variability using R\'enyi divergences and their associated variational bounds. R\'enyi bounds are analogous to the variational free energy (or evidence lower bound) and can be derived under the same assumptions. Importantly, these bounds provide a formal way to establish behavioural differences through an $\alpha$ parameter, given fixed priors. This rests on changes in $\alpha$ that alter the bound (on a continuous scale), inducing different posterior estimates and consequent variations in behaviour. Thus, it looks as if individuals have different priors, and have reached different conclusions. More specifically, $\alpha \to 0^{+}$ optimisation leads to mass-covering variational estimates and increased variability in choice behaviour. Furthermore, $\alpha \to + \infty$ optimisation leads to mass-seeking variational posteriors and greedy preferences. We exemplify this formulation through simulations of the multi-armed bandit task. We note that these $\alpha$ parameterisations may be especially relevant, i.e., shape preferences, when the true posterior is not in the same family of distributions as the assumed (simpler) approximate density, which may be the case in many real-world scenarios. The ensuing departure from vanilla variational inference provides a potentially useful explanation for differences in behavioural preferences of biological (or artificial) agents under the assumption that the brain performs variational Bayesian inference.


title: Unclonable anti-counterfeiting labels based on microlens arrays and luminescent microparticles

abstract: Micron-scale randomness during manufacturing can ensure anti-counterfeiting labels are unclonable. However, this security typically comes at the expense of complex hardware being needed for authentication (e.g., microscopy systems). We demonstrate unclonable labels that can be authenticated using a standard light-emitting diode and smartphone camera. The labels consist of a microlens array laminated to a polymer film that is doped with luminescent microparticles. The micron-scale random overlap of focal volumes and microparticles leads to a pattern of bright points of visible light emission that can be easily imaged by a smartphone camera. 10 000 comparisons of images demonstrate that the labels can be robustly authenticated, and that the probability of a false authentication is on the order of $10^{-15}$. The ability for microlens arrays to simplify the hardware needed for authentication of unclonable labels is generalizable, and attractive for the implementation of unclonable labels in anti-counterfeiting systems.


title: The algebraic and geometric classification of nilpotent right alternative algebras

abstract: We present algebraic and geometric classifications of the $4$-dimensional complex nilpotent right alternative algebras. Specifically, we find that, up to isomorphism, there are only $9$ non-isomorphic nontrivial nilpotent right alternative algebras. The corresponding geometric variety has dimension $13$ and it is determined by the Zariski closure of $4$ rigid algebras and one one-parametric family of algebras.


title: Constructive Quantum Interference in a Photo-Chemical Reaction of $^{87}$Rb Bose Einstein Condensate

abstract: Interferences emerge when multiple pathways coexist together leading towards the same result. A Recent study by Blasing and coworkers [PRL 121(7):073202] showed that in a photo-association reaction of Raman dressed spin orbit coupled $^{87}$Rb Bose Einstein Condensate when the reactant spin state is prepared in a coherent superposition of multiple bare spin states it leads to a destructive interference between reaction pathways. Here we report a theoretical study for a reaction scheme which leads to constructive quantum interference. This is achieved by changing the reactive scattering channel in the reaction. As the origin of coherent control comes from the spin part of the wavefunction it is sufficient to use radio frequency coupling to achieve the superposition state. Our results show that interferences can be used as a resource for the coherent control of photo-chemical reactions. The approach is general and can be employed to study a wide spectra of chemical reactions in the ultracold regime.


title: Introduction of retro Banach frame with respect to b-linear functional in n-Banach space

abstract: The notion of retro Banach frame with the help of b-linear functional in n-Banach spaces is being presented. Some properties related to the construction of new retro Banach frame in n-Banach space have been studied. In n-Banach spaces, some perturbation results of retro Banach frame have been discussed. Finally, we give a condition in which finite sum of retro Banach frames is a retro Banach frame in n-Banach space.


title: Electromagnetic duality and central charge from first order formulation

abstract: In the context of the infrared triangle there have been recent discussions on the existence and the role of dual charges. We present a new viewpoint on dual magnetic charges in $p$-form theories, and argue that they can be inherited from the charges of a first order formulation as a topological BF theory with potential. This happens because, depending on the spacetime dimension and on the form degree, the so-called translational gauge symmetries of BF theory become reducible and therefore admit zero-modes. Although such zero-modes lead to trivial symmetries of the $p$-form theory, they are associated with non-trivial charges. These turn out to be precisely the dual magnetic charges. The centrally-extended current algebra of electric and magnetic charges in the $p$-form theory then descends naturally from that of BF theory. This is an effort towards finding an existence criterion for dual charges.


title: From enhanced sampling to reaction profiles

abstract: The determination of efficient collective variables is crucial to the success of many enhanced sampling methods. As inspired by previous discrimination approaches, we first collect a set of data from the different metastable basins. The data are then projected with the help of a neural network into a low-dimensional manifold in which data from different basins are well discriminated. This is here guaranteed by imposing that the projected data follows a preassigned distribution. The collective variables thus obtained lead to an efficient sampling and often allow reducing the number of collective variables in a multi-basin scenario. We first check the validity of the method in two-state systems. We then move to multi-step chemical processes. In the latter case, at variance with previous approaches, one single collective variable suffices, leading not only to computational efficiency but to a very clear representation of the reaction free energy profile.


title: Disentangling Transfer and Interference in Multi-Domain Learning

abstract: Humans are incredibly good at transferring knowledge from one domain to another, enabling rapid learning of new tasks. Likewise, transfer learning has enabled enormous success in many computer vision problems using pretraining. However, the benefits of transfer in multi-domain learning, where a network learns multiple tasks defined by different datasets, has not been adequately studied. Learning multiple domains could be beneficial, or these domains could interfere with each other given limited network capacity. Understanding how deep neural networks of varied capacity facilitate transfer across inputs from different distributions is a critical step towards open world learning. In this work, we decipher the conditions where interference and knowledge transfer occur in multi-domain learning. We propose new metrics disentangling interference and transfer, set up experimental protocols, and examine the roles of network capacity, task grouping, and dynamic loss weighting in reducing interference and facilitating transfer.


title: Source-Free Adaptation to Measurement Shift via Bottom-Up Feature Restoration

abstract: Source-free domain adaptation (SFDA) aims to adapt a model trained on labelled data in a source domain to unlabelled data in a target domain without access to the source-domain data during adaptation. Existing methods for SFDA leverage entropy-minimization techniques which: (i) apply only to classification; (ii) destroy model calibration; and (iii) rely on the source model achieving a good level of feature-space class-separation in the target domain. We address these issues for a particularly pervasive type of domain shift called measurement shift which can be resolved by restoring the source features rather than extracting new ones. In particular, we propose Feature Restoration (FR) wherein we: (i) store a lightweight and flexible approximation of the feature distribution under the source data; and (ii) adapt the feature-extractor such that the approximate feature distribution under the target data realigns with that saved on the source. We additionally propose a bottom-up training scheme which boosts performance, which we call Bottom-Up Feature Restoration (BUFR). On real and synthetic data, we demonstrate that BUFR outperforms existing SFDA methods in terms of accuracy, calibration, and data efficiency, while being less reliant on the performance of the source model in the target domain.


title: Leveraging a Federation of Knowledge Graphs to Improve Faceted Search in Digital Libraries

abstract: Scientists always look for the most accurate and relevant answers to their queries in the literature. Traditional scholarly digital libraries list documents in search results, and therefore are unable to provide precise answers to search queries. In other words, search in digital libraries is metadata search and, if available, full-text search. We present a methodology for improving a faceted search system on structured content by leveraging a federation of scholarly knowledge graphs. We implemented the methodology on top of a scholarly knowledge graph. This search system can leverage content from third-party knowledge graphs to improve the exploration of scholarly content. A novelty of our approach is that we use dynamic facets on diverse data types, meaning that facets can change according to the user query. The user can also adjust the granularity of dynamic facets. An additional novelty is that we leverage third-party knowledge graphs to improve exploring scholarly knowledge.


title: Scenes and Surroundings: Scene Graph Generation using Relation Transformer

abstract: Identifying objects in an image and their mutual relationships as a scene graph leads to a deep understanding of image content. Despite the recent advancement in deep learning, the detection and labeling of visual object relationships remain a challenging task. This work proposes a novel local-context aware architecture named relation transformer, which exploits complex global objects to object and object to edge (relation) interactions. Our hierarchical multi-head attention-based approach efficiently captures contextual dependencies between objects and predicts their relationships. In comparison to state-of-the-art approaches, we have achieved an overall mean \textbf{4.85\%} improvement and a new benchmark across all the scene graph generation tasks on the Visual Genome dataset.


title: Inner core static tilt inferred from intradecadal oscillation in the Earth's rotation

abstract: The geodynamic state of the inner core remains an enigma, encompassing the presence of a static tilt between the inner core and mantle. Following the experimental confirmation of an ~8.5yr signal in polar motion as the inner core wobble (ICW), a normal mode of the inner core, we report that the ~8.5yr oscillation contained in the length-of-day variations in the Earth's rotation has good phase consistency with it. Our analysis demonstrated a 0.17{\deg} static tilt of the inner core (more likely towards ~90{\deg}W) relative to the mantle, which is two orders of magnitude lower than the 10{\deg} assumed in certain geodynamic researches. This tilt is consistent with the assumption that the average density in the northwestern hemisphere of the inner core should be greater than that in the other regions. Besides, the observed ICW period (8.5yr) suggests a 0.52g/cm3 density jump at the inner core boundary.


title: The Change of Basis Groupoid

abstract: We show that the change of basis matrices of a set of $m$ bases of a finite vector space is a connected groupoid of order $m^2$. We define a general method to express the elements of change of basis matrices as algebraic expressions using optimizations of evaluations of vector dot products. Examples are given with orthogonal polynomials.


title: AxonEM Dataset: 3D Axon Instance Segmentation of Brain Cortical Regions

abstract: Electron microscopy (EM) enables the reconstruction of neural circuits at the level of individual synapses, which has been transformative for scientific discoveries. However, due to the complex morphology, an accurate reconstruction of cortical axons has become a major challenge. Worse still, there is no publicly available large-scale EM dataset from the cortex that provides dense ground truth segmentation for axons, making it difficult to develop and evaluate large-scale axon reconstruction methods. To address this, we introduce the AxonEM dataset, which consists of two 30x30x30 um^3 EM image volumes from the human and mouse cortex, respectively. We thoroughly proofread over 18,000 axon instances to provide dense 3D axon instance segmentation, enabling large-scale evaluation of axon reconstruction methods. In addition, we densely annotate nine ground truth subvolumes for training, per each data volume. With this, we reproduce two published state-of-the-art methods and provide their evaluation results as a baseline. We publicly release our code and data at https://connectomics-bazaar.github.io/proj/AxonEM/index.html to foster the development of advanced methods.


title: Spectrophotometric correction of Vesta observations performed by the VIR Imaging spectrometer onboard Dawn mission

abstract: The Visible InfraRed (VIR) mapping spectrometer onboard Dawn mission has obtained the spatial distribution of the spectral reflectance of Vesta in the wavelength ranges between 0.25-1.07 micrometers and 0.95-5.1 micrometers. A photometric correction allows to characterize the intrinsic variability of the surface albedo by removing the dependance of the reflectance from the observing geometry. In this work, we present the photometric correction obtained for observations from the Survey, HAMO and HAMO 2 mission phases at Vesta in the whole spectral range investigated by VIR, as well as the surface albedo maps.


title: Neat: Low-Complexity, Efficient On-Chip Cache Coherence

abstract: Cache coherence protocols such as MESI that use writer-initiated invalidation have high complexity and sometimes have poor performance and energy usage, especially under false sharing. Such protocols require numerous transient states, a shared directory, and support for core-to-core communication, while also suffering under false sharing. An alternative to MESI's writer-initiated invalidation is self-invalidation, which achieves lower complexity than MESI but adds high performance costs or relies on programmer annotations or specific data access patterns. This paper presents Neat, a low-complexity, efficient cache coherence protocol. Neat uses self-invalidation, thus avoiding MESI's transient states, directory, and core-to-core communication requirements. Neat uses novel mechanisms that effectively avoid many unnecessary self-invalidations. An evaluation shows that Neat is simple and has lower verification complexity than the MESI protocol. Neat not only outperforms state-of-the-art self-invalidation protocols, but its performance and energy consumption are comparable to MESI's, and it outperforms MESI under false sharing.


title: 55- and 56-configurations are reducible

abstract: Let $G$ be a 4-chromatic maximal planar graph (MPG) with the minimum degree of at least 4 and let $C$ be an even-length cycle of $G$.If $|f(C)|=2$ for every $f$ in some Kempe equivalence class of $G$, then we call $C$ an unchanged bichromatic cycle (UBC) of $G$, and correspondingly $G$ an unchanged bichromatic cycle maximal planar graph (UBCMPG) with respect to $C$, where $f(C)=\{f(v)| v\in V(C)\}$. For an UBCMPG $G$ with respect to an UBC $C$, the subgraph of $G$ induced by the set of edges belonging to $C$ and its interior (or exterior), denoted by $G^C$, is called a base-module of $G$; in particular, when the length of $C$ is equal to four, we use $C_4$ instead of $C$ and call $G^{C_4}$ a 4-base-module. In this paper, we first study the properties of UBCMPGs and show that every 4-base-module $G^{C_4}$ contains a 4-coloring under which $C_4$ is bichromatic and there are at least two bichromatic paths with different colors between one pair of diagonal vertices of $C_4$ (these paths are called module-paths). We further prove that every 4-base-module $G^{C_4}$ contains a 4-coloring (called decycle coloring) for which the ends of a module-path are colored by distinct colors. Finally, based on the technique of the contracting and extending operations of MPGs, we prove that 55-configurations and 56-configurations are reducible by converting the reducibility problem of these two classes of configurations into the decycle coloring problem of 4-base-modules.