Large eddy simulation of a supersonic lifted hydrogen flame with sparse Lagrangian multiple mapping conditioning approach. The Multiple Mapping Conditioning Large Eddy Simulation (MMC LES) approach is used to simulate a supersonic lifted hydrogen jet flame, which features shock induced autoignition, shock flame interaction, lifted flame stabilization, and finite rate chemistry effects. The shocks and expansion waves, shock reaction interactions and overall flame characteristics are accurately reproduced by the model. Predictions are compared with the detailed experimental data for the mean axial velocity, mean and root mean square temperature, species mole fractions, and mixture fraction at various locations. The predicted and experimentally observed flame structures are compared through scatter plots of species mole fractions and temperature against mixture fraction. Unlike most past MMC LES which has been applied to low Mach flames, in this supersonic flame case pressure work and viscous heating are included in the stochastic FDF equations. Analysis indicates that the pressure work plays an important role in autoignition induction and flame stabilization, whereas viscous heating is only significant in shear layers (but still negligibly small compared to the pressure work). The evolutions of particle information subject to local gas dynamics are extracted through trajectory analysis on representative fuel and oxidizer particles. The particles intermittently enter the extinction region and may be deviated from the full burning or mixing lines under the effects of shocks, expansion waves and viscous heating. The chemical explosive mode analysis performed on the Lagrangian particles shows that temperature, the H and OH radicals contribute dominantly to CEM respectively in the central fuel jet, fuel rich and fuel lean sides. The pronounced particle Damk "ohler numbers first occur in the fuel jet coflow shear layer, enhanced at the first shock intersection point and peak around the flame stabilization point.


A Benchmark for Low Switching Cost Reinforcement Learning. A ubiquitous requirement in many practical reinforcement learning (RL) applications, including medical treatment, recommendation system, education and robotics, is that the deployed policy that actually interacts with the environment cannot change frequently. Such an RL setting is called low switching cost RL, i.e., achieving the highest reward while reducing the number of policy switches during training. Despite the recent trend of theoretical studies aiming to design provably efficient RL algorithms with low switching costs, none of the existing approaches have been thoroughly evaluated in popular RL testbeds. In this paper, we systematically studied a wide collection of policy switching approaches, including theoretically guided criteria, policy difference based methods, and non adaptive baselines. Through extensive experiments on a medical treatment environment, the Atari games, and robotic control tasks, we present the first empirical benchmark for low switching cost RL and report novel findings on how to decrease the switching cost while maintain a similar sample efficiency to the case without the low switching cost constraint. We hope this benchmark could serve as a starting point for developing more practically effective low switching cost RL algorithms. We release our code and complete results in https sites.google.com view low switching cost rl.


Strong Edge Coloring of Cubic Bipartite Graphs A Counterexample. A strong edge coloring varphi of a graph G assigns colors to edges of G such that varphi(e 1) ne varphi(e 2) whenever e 1 and e 2 are at distance no more than 1. It is equivalent to a proper vertex coloring of the square of the line graph of G . In 1990 Faudree, Schelp, Gy 'arf 'as, and Tuza conjectured that if G is a bipartite graph with maximum degree 3 and sufficiently large girth, then G has a strong edge coloring with at most 5 colors. In 2021 this conjecture was disproved by Lu v z ar, Ma v c ajov ' a , v S koviera, and Sot ' a k. Here we give an alternative construction to disprove the conjecture.


Countable configurations and paradoxical decompositions. In this paper we define countable configuration of groups and prove that two Hopfian groups with the same set of countable configurations are isomorphic and vice versa. We also study the countable paradoxical decomposition of groups. It is proved that a group G admits a countable paradoxical decomposition if and only if it is infinite.


Resonant scattering of plane wave and twisted photons at the Gamma Factory. We present a theoretical investigation of the resonant elastic scattering of laser photons by ultra relativistic partially stripped ions, that is the core process of the Gamma Factory project. Special emphasis in our study is placed on the angular distribution and polarization of scattered photons as observed in the collider and ion rest reference frames. In order to describe these (angular and polarization) properties for arbitrary relativistic many electron ion, the general approach, based on the application of irreducible polarization tensors, is laid down. By making use of the polarization tensors we explore in detail the scattering of both, conventional plane wave and twisted (or vortex) photons. For the former case we show how the propagation directions and polarization states of incident and outgoing photons are related to each other for the n S 0 to n' P 1 to n S 0 , n S 1 2 to n' P 1 2 to n S 1 2 and n S 1 2 to n' P 3 2 to n S 1 2 resonant transitions. For the scattering of initially twisted light, that carries non zero orbital angular momentum, we explore the angular distribution of secondary photons and discuss the conditions under which they are also twisted.


LES wall modeling for heat transfer at high speeds. A practical application of universal wall scalings is near wall turbulence modeling. In this paper, we exploit temperature's semi local scaling Patel, Boersma, and Pecnik, Scalar statistics in variable property turbulent channel flows , Phys. Rev. Fluids, 2017, 2(8), 084604 and derive an eddy conductivity closure for wall modeled large eddy simulation of high speed flows. We show that while the semi local scaling does not collapse high speed direct numerical simulation (DNS) data, the resulting eddy conductivity and the wall model work fairly well. The paper attempts to answer the following outstanding question why the semi local scaling fails but the resulting eddy conductivity works well. We conduct DNSs of Couette flows at Mach numbers from M 1.4 to 6. We add a source term in the energy equation to get a cold, a close to adiabatic wall, and a hot wall. Detailed analysis of the flows' energy budgets shows that aerodynamic heating is the answer to our question aerodynamic heating is not accounted for in Patel et al.'s semi local scaling but is modeled in the equilibrium wall model. We incorporate aerodynamic heating in semi local scaling and show that the new scaling successfully collapses the high speed DNS data. We also show that incorporating aerodynamic heating or not, the semi local scaling gives rise to the exact same eddy conductivity, thereby answering the outstanding question.


Transfer Learning for Credit Card Fraud Detection A Journey from Research to Production. The dark face of digital commerce generalization is the increase of fraud attempts. To prevent any type of attacks, state of the art fraud detection systems are now embedding Machine Learning (ML) modules. The conception of such modules is only communicated at the level of research and papers mostly focus on results for isolated benchmark datasets and metrics. But research is only a part of the journey, preceded by the right formulation of the business problem and collection of data, and followed by a practical integration. In this paper, we give a wider vision of the process, on a case study of transfer learning for fraud detection, from business to research, and back to business.


FinRL Meta A Universe of Near Real Market Environments for Data Driven Deep Reinforcement Learning in Quantitative Finance. Deep reinforcement learning (DRL) has shown huge potentials in building financial market simulators recently. However, due to the highly complex and dynamic nature of real world markets, raw historical financial data often involve large noise and may not reflect the future of markets, degrading the fidelity of DRL based market simulators. Moreover, the accuracy of DRL based market simulators heavily relies on numerous and diverse DRL agents, which increases demand for a universe of market environments and imposes a challenge on simulation speed. In this paper, we present a FinRL Meta framework that builds a universe of market environments for data driven financial reinforcement learning. First, FinRL Meta separates financial data processing from the design pipeline of DRL based strategy and provides open source data engineering tools for financial big data. Second, FinRL Meta provides hundreds of market environments for various trading tasks. Third, FinRL Meta enables multiprocessing simulation and training by exploiting thousands of GPU cores. Our codes are available online at https github.com AI4Finance Foundation FinRL Meta.


Correlation between X ray tube current exposure time and X ray photon number in GATE. The image quality of X ray imaging relies heavily on the X ray output number which is dependent on the X ray tube current and the exposure time. Hybrid X ray imaging modalities like X ray luminescence CT (XLCT) and X ray fluorescence CT (XFCT) rely on the intensity of the X ray tube to provide an accurate image reconstruction of the nanoprobe distribution in the imaging sample. A limiting factor of good image quality is the radiation dose that will be delivered to the imaging object. To accurately estimate the absorbed dose in an imaging protocol, it is better to simulate the X ray imaging with a Monte Carlo platform such as GATE (Geant4 Application for Tomographic Emission). However, the input of GATE is a photon number of the simulated X ray tube. So far, there is no good way to setup the photon number for a desired X ray tube current. In this work, the accumulated radiation dose of a micro CT X ray tube at different current exposure times was recorded with a general purpose ion chamber. GATE was used to model the total absorbed dose (cGy) in the sensitive volume of the ion chamber with different X ray output numbers. A linear regression model was generated between the X ray photon number in the GATE simulations and the tube current exposure time (mAs). The findings of this work provide an approach to correlate the X ray tube current exposure time (mAs) to the X ray photon number in GATE simulation of the X ray tube.


Fast Single Core K Nearest Neighbor Graph Computation. Fast and reliable K Nearest Neighbor Graph algorithms are more important than ever due to their widespread use in many data processing techniques. This paper presents a runtime optimized C implementation of the heuristic "NN Descent" algorithm by Wei Dong et al. for the l2 distance metric. Various implementation optimizations are explained which improve performance for low dimensional as well as high dimensional datasets. Optimizations to speed up the selection of which datapoint pairs to evaluate the distance for are primarily impactful for low dimensional datasets. A heuristic which exploits the iterative nature of NN Descent to reorder data in memory is presented which enables better use of locality and thereby improves the runtime. The restriction to the l2 distance metric allows for the use of blocked distance evaluations which significantly increase performance for high dimensional datasets. In combination the optimizations yield an implementation which significantly outperforms a widely used implementation of NN Descent on all considered datasets. For instance, the runtime on the popular MNIST handwritten digits dataset is halved.


The Johnson N 'ed 'elec FEM BEM Coupling for magnetostatic problems in the isogeometric framework. We consider a Johnson N 'ed 'elec FEM BEM coupling, which is a direct and non symmetric coupling of finite and boundary element methods, in order to solve interface problems for the magnetostatic Maxwell's equations with the magnetic vector potential ansatz. In the FEM domain, equations may be non linear, whereas they are exclusively linear in the BEM part to guarantee the existence of a fundamental solution. First, the weak problem is formulated in quotient spaces to avoid resolving to a saddle point problem. Second, we establish in this setting well posedness of the arising problem using the framework of Lipschitz and strongly monotone operators as well as a stability result for a special type of non linearity, which is typically considered in magnetostatic applications. Then, the discretization is performed in the isogeometric context, i.e., the same type of basis functions that are used for geometry design are considered as ansatz functions for the discrete setting. In particular, NURBS are employed for geometry considerations, and B Splines, which can be understood as a special type of NURBS, for analysis purposes. In this context, we derive a priori estimates w.r.t. h refinement, and point out to an interesting behavior of BEM, which consists in an amelioration of the convergence rates, when a functional of the solution is evaluated in the exterior BEM domain. This improvement may lead to a doubling of the convergence rate under certain assumptions. Finally, we end the paper with a numerical example to illustrate the theoretical results, along with a conclusion and an outlook.


Revisiting the Concrete Security of Goldreich's Pseudorandom Generator. Local pseudorandom generators are a class of fundamental cryptographic primitives having very broad applications in theoretical cryptography. Following Couteau et al.'s work in ASIACRYPT 2018, this paper further studies the concrete security of one important class of local pseudorandom generators, i.e., Goldreich's pseudorandom generators. Our first attack is of the guess and determine type. Our result significantly improves the state of the art algorithm proposed by Couteau et al., in terms of both asymptotic and concrete complexity, and breaks all the challenge parameters they proposed. For instance, for a parameter set suggested for 128 bits of security, we could solve the instance faster by a factor of about 2 61 , thereby destroying the claimed security completely. Our second attack further exploits the extremely sparse structure of the predicate P 5 and combines ideas from iterative decoding. This novel attack, named guess and decode, substantially improves the guess and determine approaches for cryptographic relevant parameters. All the challenge parameter sets proposed in Couteau et al.'s work in ASIACRYPT 2018 aiming for 80 bit (128 bit) security levels can be solved in about 2 58 ( 2 78 ) operations. We suggest new parameters for achieving 80 bit (128 bit) security with respect to our attacks. We also extend the attack to other promising predicates and investigate their resistance.


Irregular mathcal B free Toeplitz sequences via Besicovitch's construction of sets of multiples without density. Modifying Besicovitch's construction of a set mathcal B of positive integers whose set of multiples mathcal M mathcal B has no asymptotic density, we provide examples of such sets mathcal B for which eta 1 mathbb Z setminus mathcal M mathcal B in 0,1 mathbb Z is a Toeplitz sequence. Moreover our construction produces examples, for which eta is not only quasi generic for the Mirsky measure (which has discrete dynamical spectrum), but also for some measure of positive entropy. On the other hand, modifying slightly an example from Kasjan, Keller, and Lema 'nczyk, we construct a set mathcal B for which eta is an irregular Toeplitz sequence but for which the orbit closure of eta in 0,1 mathbb Z is uniquely ergodic.


Structured Semantic Transfer for Multi Label Recognition with Partial Labels. Multi label image recognition is a fundamental yet practical task because real world images inherently possess multiple semantic labels. However, it is difficult to collect large scale multi label annotations due to the complexity of both the input images and output label spaces. To reduce the annotation cost, we propose a structured semantic transfer (SST) framework that enables training multi label recognition models with partial labels, i.e., merely some labels are known while other labels are missing (also called unknown labels) per image. The framework consists of two complementary transfer modules that explore within image and cross image semantic correlations to transfer knowledge of known labels to generate pseudo labels for unknown labels. Specifically, an intra image semantic transfer module learns image specific label co occurrence matrix and maps the known labels to complement unknown labels based on this matrix. Meanwhile, a cross image transfer module learns category specific feature similarities and helps complement unknown labels with high similarities. Finally, both known and generated labels are used to train the multi label recognition models. Extensive experiments on the Microsoft COCO, Visual Genome and Pascal VOC datasets show that the proposed SST framework obtains superior performance over current state of the art algorithms. Codes are available at https github.com HCPLab SYSU HCP MLR PL.


Bivariate asymptotics for eta theta quotients with simple poles. We employ a variant of Wright's circle method to determine the bivariate asymptotic behaviour of Fourier coefficients for a wide class of eta theta quotients with simple poles in mathbb H .


A Pipeline for Graph Based Monitoring of the Changes in the Information Space of Russian Social Media during the Lockdown. With the COVID 19 outbreak and the subsequent lockdown, social media became a vital communication tool. The sudden outburst of online activity influenced information spread and consumption patterns. It increases the relevance of studying the dynamics of social networks and developing data processing pipelines that allow a comprehensive analysis of social media data in the temporal dimension. This paper scopes the weekly dynamics of the information space represented by Russian social media (Twitter and Livejournal) during a critical period (massive COVID 19 outbreak and first governmental measures). The approach is twofold a) build the time series of topic similarity indicators by identifying COVID related topics in each week and measuring user contribution to the topic space, and b) cluster user activity and display user topic relationships on graphs in a dashboard application. The paper describes the development of the pipeline, explains the choices made and provides a case study of the adaptation to virus control measures. The results confirm that social processes and behaviour in response to pandemic triggered changes can be successfully traced in social media. Moreover, the adaptation trends revealed by psychological and sociological studies are reflected in our data and can be explored using the proposed method.


An unsupervised machine learning checkpoint restart algorithm using Gaussian mixtures for particle in cell simulations. We propose an unsupervised machine learning checkpoint restart (CR) lossy algorithm for particle in cell (PIC) algorithms using Gaussian mixtures (GM). The algorithm features a particle compression stage and a particle reconstruction stage, where a continuum particle distribution function is constructed and resampled, respectively. To guarantee fidelity of the CR process, we ensure the exact preservation of charge, momentum, and energy for both compression and reconstruction stages, everywhere on the mesh. We also ensure the preservation of Gauss' law after particle reconstruction. As a result, the GM CR algorithm is shown to provide a clean, conservative restart capability while potentially affording orders of magnitude savings in input output requirements. We demonstrate the algorithm using a recently developed exactly energy and charge conserving PIC algorithm on physical problems of interest, with compression factors gtrsim75 with no appreciable impact on the quality of the restarted dynamics.


A variety of Steiner loops satisfying Moufang's theorem A solution to Rajah's Problem. A loop X is said to satisfy Moufang's theorem if for every x,y,z in X such that x(yz) (xy)z the subloop generated by x , y , z is a group. We prove that the variety V of Steiner loops satisfying the identity (xz)(((xy)z)(yz)) ((xz)((xy)z))(yz) is not contained in the variety of Moufang loops, yet every loop in V satisfies Moufang's theorem. This solves a problem posed by Andrew Rajah.


Retinotopic Mechanics derived using classical physics. The idea that the receptive field of a cell is a static region of sensitivity remains the most fundamental principles in all of systems biology. Borne out by the spatio temporal dynamics of visual sensitivity to probe stimuli in primates, I challenge this dominant account with the introduction of a new computational field of research, retinotopic mechanics. At its core, retinotopic mechanics assumes that the mammalian visual system, specifically the canonical computations it performs and the architecture that supports these computations, is inherently mediated by a biologically inspired force field. For example, when the eye is displaced from one point in space to another, the primate visual system is tasked with discounting visual disruptions such displacement inherently introduces, known as spatial constancy. Using retinotopic mechanics in its classical form, I show that to achieve spatial constancy, visual receptive fields behave like spring loaded sensors that tile visual space. To this end, known attentional and oculomotor signals give rise to an inverse force field R s propto sim 1 Delta M that acts on retinotopic brain areas. This inverse force field allows visual receptive fields the ability to transiently shift their region of sensitivity beyond the spatial extent of their classical center surround structures, while being restricted within their eccentricity dependent elastic fields.


Learning to Continually Learn Rapidly from Few and Noisy Data. Neural networks suffer from catastrophic forgetting and are unable to sequentially learn new tasks without guaranteed stationarity in data distribution. Continual learning could be achieved via replay by concurrently training externally stored old data while learning a new task. However, replay becomes less effective when each past task is allocated with less memory. To overcome this difficulty, we supplemented replay mechanics with meta learning for rapid knowledge acquisition. By employing a meta learner, which textit learns a learning rate per parameter per past task , we found that base learners produced strong results when less memory was available. Additionally, our approach inherited several meta learning advantages for continual learning it demonstrated strong robustness to continually learn under the presence of noises and yielded base learners to higher accuracy in less updates.


Hyperbolic Hypergraphs for Sequential Recommendation. Hypergraphs have been becoming a popular choice to model complex, non pairwise, and higher order interactions for recommender system. However, compared with traditional graph based methods, the constructed hypergraphs are usually much sparser, which leads to a dilemma when balancing the benefits of hypergraphs and the modelling difficulty. Moreover, existing sequential hypergraph recommendation overlooks the temporal modelling among user relationships, which neglects rich social signals from the recommendation data. To tackle the above shortcomings of the existing hypergraph based sequential recommendations, we propose a novel architecture named Hyperbolic Hypergraph representation learning method for Sequential Recommendation (H2SeqRec) with pre training phase. Specifically, we design three self supervised tasks to obtain the pre training item embeddings to feed or fuse into the following recommendation architecture (with two ways to use the pre trained embeddings). In the recommendation phase, we learn multi scale item embeddings via a hierarchical structure to capture multiple time span information. To alleviate the negative impact of sparse hypergraphs, we utilize a hyperbolic space based hypergraph convolutional neural network to learn the dynamic item embeddings. Also, we design an item enhancement module to capture dynamic social information at each timestamp to improve effectiveness. Extensive experiments are conducted on two real world datasets to prove the effectiveness and high performance of the model.


Lesion2Vec Deep Metric Learning for Few Shot Multiple Lesions Recognition in Wireless Capsule Endoscopy Video. Effective and rapid detection of lesions in the Gastrointestinal tract is critical to gastroenterologist's response to some life threatening diseases. Wireless Capsule Endoscopy (WCE) has revolutionized traditional endoscopy procedure by allowing gastroenterologists visualize the entire GI tract non invasively. Once the tiny capsule is swallowed, it sequentially capture images of the GI tract at about 2 to 6 frames per second (fps). A single video can last up to 8 hours producing between 30,000 to 100,000 images. Automating the detection of frames containing specific lesion in WCE video would relieve gastroenterologists the arduous task of reviewing the entire video before making diagnosis. While the WCE produces large volume of images, only about 5 of the frames contain lesions that aid the diagnosis process. Convolutional Neural Network (CNN) based models have been very successful in various image classification tasks. However, they suffer excessive parameters, are sample inefficient and rely on very large amount of training data. Deploying a CNN classifier for lesion detection task will require time to time fine tuning to generalize to any unforeseen category. In this paper, we propose a metric based learning framework followed by a few shot lesion recognition in WCE data. Metric based learning is a meta learning framework designed to establish similarity or dissimilarity between concepts while few shot learning (FSL) aims to identify new concepts from only a small number of examples. We train a feature extractor to learn a representation for different small bowel lesions using metric based learning. At the testing stage, the category of an unseen sample is predicted from only a few support examples, thereby allowing the model to generalize to a new category that has never been seen before. We demonstrated the efficacy of this method on real patient capsule endoscopy data.


On the Classification of Stable Solutions of some elliptic equations in half space. In this paper, we are concerned with stable solutions , possibly unbounded and sign changing, of some semi linear elliptic problem with mixed nonlinear boundary conditions. We establish the nonexistence of stable solutions, the main methods used are the Pohozaev identity, monotonicity formula of solutions together with a blowing down sequence.


The Computational Drug Repositioning without Negative Sampling. Computational drug repositioning technology is an effective tool to accelerate drug development. Although this technique has been widely used and successful in recent decades, many existing models still suffer from multiple drawbacks such as the massive number of unvalidated drug disease associations and the inner product. The limitations of these works are mainly due to the following two reasons firstly, previous works used negative sampling techniques to treat unvalidated drug disease associations as negative samples, which is invalid in real world settings secondly, the inner product cannot fully take into account the feature information contained in the latent factor of drug and disease. In this paper, we propose a novel PUON framework for addressing the above deficiencies, which models the risk estimator of computational drug repositioning only using validated (Positive) and unvalidated (Unlabelled) drug disease associations without employing negative sampling techniques. The PUON also proposed an Outer Neighborhood based classifier for modeling the cross feature information of latent facotors of drugs and diseases. For a comprehensive comparison, we considered 8 popular baselines. Extensive experiments in three real world datasets showed that PUON achieved the best performance based on 3 evaluation metrics.


The Sensory Neuron as a Transformer Permutation Invariant Neural Networks for Reinforcement Learning. In complex systems, we often observe complex global behavior emerge from a collection of agents interacting with each other in their environment, with each individual agent acting only on locally available information, without knowing the full picture. Such systems have inspired development of artificial intelligence algorithms in areas such as swarm optimization and cellular automata. Motivated by the emergence of collective behavior from complex cellular systems, we build systems that feed each sensory input from the environment into distinct, but identical neural networks, each with no fixed relationship with one another. We show that these sensory networks can be trained to integrate information received locally, and through communication via an attention mechanism, can collectively produce a globally coherent policy. Moreover, the system can still perform its task even if the ordering of its inputs is randomly permuted several times during an episode. These permutation invariant systems also display useful robustness and generalization properties that are broadly applicable. Interactive demo and videos of our results https attentionneuron.github.io


Automated Robustness with Adversarial Training as a Post Processing Step. Adversarial training is a computationally expensive task and hence searching for neural network architectures with robustness as the criterion can be challenging. As a step towards practical automation, this work explores the efficacy of a simple post processing step in yielding robust deep learning model. To achieve this, we adopt adversarial training as a post processing step for optimised network architectures obtained from a neural architecture search algorithm. Specific policies are adopted for tuning the hyperparameters of the different steps, resulting in a fully automated pipeline for generating adversarially robust deep learning models. We evidence the usefulness of the proposed pipeline with extensive experimentation across 11 image classification and 9 text classification tasks.


Adaptive Sampling using POMDPs with Domain Specific Considerations. We investigate improving Monte Carlo Tree Search based solvers for Partially Observable Markov Decision Processes (POMDPs), when applied to adaptive sampling problems. We propose improvements in rollout allocation, the action exploration algorithm, and plan commitment. The first allocates a different number of rollouts depending on how many actions the agent has taken in an episode. We find that rollouts are more valuable after some initial information is gained about the environment. Thus, a linear increase in the number of rollouts, i.e. allocating a fixed number at each step, is not appropriate for adaptive sampling tasks. The second alters which actions the agent chooses to explore when building the planning tree. We find that by using knowledge of the number of rollouts allocated, the agent can more effectively choose actions to explore. The third improvement is in determining how many actions the agent should take from one plan. Typically, an agent will plan to take the first action from the planning tree and then call the planner again from the new state. Using statistical techniques, we show that it is possible to greatly reduce the number of rollouts by increasing the number of actions taken from a single planning tree without affecting the agent's final reward. Finally, we demonstrate experimentally, on simulated and real aquatic data from an underwater robot, that these improvements can be combined, leading to better adaptive sampling. The code for this work is available at https github.com uscresl AdaptiveSamplingPOMCP


Modeling particle fluid interaction in a coupled CFD DEM framework. In this work, we present an alternative methodology to solve the particle fluid interaction in the resolved CFDEM coupling framework. This numerical approach consists of coupling a Discrete Element Method (DEM) with a Computational Fluid Dynamics (CFD) scheme, solving the motion of immersed particles in a fluid phase. As a novelty, our approach explicitly accounts for the body force acting on the fluid phase when computing the local momentum balance equations. Accordingly, we implement a fluid particle interaction computing the buoyant and drag forces as a function of local shear strain and pressure gradient. As a benchmark, we study the Stokesian limit of a single particle. The validation is performed comparing our outcomes with the ones provided by a previous resolved methodology and the analytical prediction. In general, we find that the new implementation reproduces with very good accuracy the Stokesian dynamics. Complementarily, we study the settling terminal velocity of a sphere under confined conditions.


Many electron dynamics of atomic processes studied by photon induced fluorescence spectroscopy. The progress and the chronology in understanding the influence of electron correlations on the electronic structure of atoms and the dynamics of atomic processes are reviewed focusing on benchmark rare gas atoms. The contributions and the chronological development of Photon Induced Fluorescence Spectroscopy (PIFS), measuring dispersed fluorescence emission cross sections upon excitation by single photons provided by monochromatized synchrotron radiation is described. Selected experimental results obtained by complementary techniques are also discussed for comparison. The basic suites of computer programs used for the investigation of the many electron effects in atoms and the obtained results are analyzed. Special attention is paid to the Configuration Interaction Pauli Fock approximation with Core Polarization (CIPFCP) method used to interpret the PIFS data.


Neural Sentence Ordering Based on Constraint Graphs. Sentence ordering aims at arranging a list of sentences in the correct order. Based on the observation that sentence order at different distances may rely on different types of information, we devise a new approach based on multi granular orders between sentences. These orders form multiple constraint graphs, which are then encoded by Graph Isomorphism Networks and fused into sentence representations. Finally, sentence order is determined using the order enhanced sentence representations. Our experiments on five benchmark datasets show that our method outperforms all the existing baselines significantly, achieving a new state of the art performance. The results demonstrate the advantage of considering multiple types of order information and using graph neural networks to integrate sentence content and order information for the task. Our code is available at https github.com DaoD ConstraintGraph4NSO.


High Precision Control of Tracked Field Robots in the Presence of Unknown Traction Coefficients. Accurate steering through crop rows that avoids crop damage is one of the most important tasks for agricultural robots utilized in various field operations, such as monitoring, mechanical weeding, or spraying. In practice, varying soil conditions can result in off track navigation due to unknown traction coefficients so that it can cause crop damage. To address this problem, this paper presents the development, application, and experimental results of a real time receding horizon estimation and control (RHEC) framework applied to a fully autonomous mobile robotic platform to increase its steering accuracy. Recent advances in cheap and fast microprocessors, as well as advances in solution methods for nonlinear optimization problems, have made nonlinear receding horizon control (RHC) and receding horizon estimation (RHE) methods suitable for field robots that require high frequency (milliseconds) updates. A real time RHEC framework is developed and applied to a fully autonomous mobile robotic platform designed by the authors for in field phenotyping applications in Sorghum fields. Nonlinear RHE is used to estimate constrained states and parameters, and nonlinear RHC is designed based on an adaptive system model which contains time varying parameters. The capabilities of the real time RHEC framework are verified experimentally, and the results show an accurate tracking performance on a bumpy and wet soil field. The mean values of the Euclidean error and required computation time of the RHEC framework are respectively equal to 0.0423 m and 0.88 milliseconds.


PACE Posthoc Architecture Agnostic Concept Extractor for Explaining CNNs. Deep CNNs, though have achieved the state of the art performance in image classification tasks, remain a black box to a human using them. There is a growing interest in explaining the working of these deep models to improve their trustworthiness. In this paper, we introduce a Posthoc Architecture agnostic Concept Extractor (PACE) that automatically extracts smaller sub regions of the image called concepts relevant to the black box prediction. PACE tightly integrates the faithfulness of the explanatory framework to the black box model. To the best of our knowledge, this is the first work that extracts class specific discriminative concepts in a posthoc manner automatically. The PACE framework is used to generate explanations for two different CNN architectures trained for classifying the AWA2 and Imagenet Birds datasets. Extensive human subject experiments are conducted to validate the human interpretability and consistency of the explanations extracted by PACE. The results from these experiments suggest that over 72 of the concepts extracted by PACE are human interpretable.


Probabilistic Inference of Simulation Parameters via Parallel Differentiable Simulation. To accurately reproduce measurements from the real world, simulators need to have an adequate model of the physical system and require the parameters of the model be identified. We address the latter problem of estimating parameters through a Bayesian inference approach that approximates a posterior distribution over simulation parameters given real sensor measurements. By extending the commonly used Gaussian likelihood model for trajectories via the multiple shooting formulation, our chosen particle based inference algorithm Stein Variational Gradient Descent is able to identify highly nonlinear, underactuated systems. We leverage GPU code generation and differentiable simulation to evaluate the likelihood and its gradient for many particles in parallel. Our algorithm infers non parametric distributions over simulation parameters more accurately than comparable baselines and handles constraints over parameters efficiently through gradient based optimization. We evaluate estimation performance on several physical experiments. On an underactuated mechanism where a 7 DOF robot arm excites an object with an unknown mass configuration, we demonstrate how our inference technique can identify symmetries between the parameters and provide highly accurate predictions. Project website https uscresl.github.io prob diff sim


Grain Improving Data Efficiency of Graph Neural Networks via Diversified Influence Maximization. Data selection methods, such as active learning and core set selection, are useful tools for improving the data efficiency of deep learning models on large scale datasets. However, recent deep learning models have moved forward from independent and identically distributed data to graph structured data, such as social networks, e commerce user item graphs, and knowledge graphs. This evolution has led to the emergence of Graph Neural Networks (GNNs) that go beyond the models existing data selection methods are designed for. Therefore, we present Grain, an efficient framework that opens up a new perspective through connecting data selection in GNNs with social influence maximization. By exploiting the common patterns of GNNs, Grain introduces a novel feature propagation concept, a diversified influence maximization objective with novel influence and diversity functions, and a greedy algorithm with an approximation guarantee into a unified framework. Empirical studies on public datasets demonstrate that Grain significantly improves both the performance and efficiency of data selection (including active learning and core set selection) for GNNs. To the best of our knowledge, this is the first attempt to bridge two largely parallel threads of research, data selection, and social influence maximization, in the setting of GNNs, paving new ways for improving data efficiency.


X FACT A New Benchmark Dataset for Multilingual Fact Checking. In this work, we introduce X FACT the largest publicly available multilingual dataset for factual verification of naturally existing real world claims. The dataset contains short statements in 25 languages and is labeled for veracity by expert fact checkers. The dataset includes a multilingual evaluation benchmark that measures both out of domain generalization, and zero shot capabilities of the multilingual models. Using state of the art multilingual transformer based models, we develop several automated fact checking models that, along with textual claims, make use of additional metadata and evidence from news stories retrieved using a search engine. Empirically, our best model attains an F score of around 40 , suggesting that our dataset is a challenging benchmark for evaluation of multilingual fact checking models.


Otimizacao de Redes Neurais atraves de Algoritmos Geneticos Celulares. This works proposes a methodology to searching for automatically Artificial Neural Networks (ANN) by using Cellular Genetic Algorithm (CGA). The goal of this methodology is to find compact networks whit good performance for classification problems. The main reason for developing this work is centered at the difficulties of configuring compact ANNs with good performance rating. The use of CGAs aims at seeking the components of the RNA in the same way that a common Genetic Algorithm (GA), but it has the differential of incorporating a Cellular Automaton (CA) to give location for the GA individuals. The location imposed by the CA aims to control the spread of solutions in the populations to maintain the genetic diversity for longer time. This genetic diversity is important for obtain good results with the GAs.


TSGN Transaction Subgraph Networks for Identifying Ethereum Phishing Accounts. Blockchain technology and, in particular, blockchain based transaction offers us information that has never been seen before in the financial world. In contrast to fiat currencies, transactions through virtual currencies like Bitcoin are completely public. And these transactions of cryptocurrencies are permanently recorded on Blockchain and are available at any time. Therefore, this allows us to build transaction networks (TN) to analyze illegal phenomenons such as phishing scams in blockchain from a network perspective. In this paper, we propose a Transaction SubGraph Network (TSGN) based classification model to identify phishing accounts in Ethereum. Firstly we extract transaction subgraphs for each address and then expand these subgraphs into corresponding TSGNs based on the different mapping mechanisms. We find that TSGNs can provide more potential information to benefit the identification of phishing accounts. Moreover, Directed TSGNs, by introducing direction attributes, can retain the transaction flow information that captures the significant topological pattern of phishing scams. By comparing with the TSGN, Directed TSGN indeed has much lower time complexity, benefiting the graph representation learning. Experimental results demonstrate that, combined with network representation algorithms, the TSGN model can capture more features to enhance the classification algorithm and improve phishing nodes' identification accuracy in the Ethereum networks.


High Expression of CDK1 and NDC80 Predicts Poor Prognosis of Bladder Cancer. Background Bladder cancer is the 10th most common cancer worldwide, and its prevalence is increasing, especially in developing countries. Objective In the present study, we employed gene expression profiles from the GSE163209 data set in the GEO database to identify potential molecular and genetic markers in BC patients. Methods The data set comprised 217 samples, with 113 stage Ta tumor tissue samples and 104 stage T1 tumor tissue samples. The top 766 genes were chosen. P.value 0.0001 and logFC 1 was used to change the cutoff criteria for defining DEGs. Moreover, the MCODE plugin and cytoHubba plugin were employed to produce a module and detect 20 hub genes in these DEGs. We used GO and KEGG pathway enrichment analyses to get a better understanding of these DEGs. Results The KEGG pathway enrichment results indicated that the top genes were mainly involved Systemic lupus erythematosus, Alcoholism, and Viral carcinogenesis. SLE activation in the renal glomeruli could explain the connection between this disease's route and bladder cancer, and according to our results and previous researches, heavy alcohol intake can increase the risk of BC in males and particular populations. Conclusion According to our hub genes, we can consider CDK1 and NDC80 as bladder cancer biomarkers. Not much research has been done on the effect of this gene on bladder cancer.


Modal dynamics in multimode optical fibers An attractor of high order modes. Multimode fibers (MMFs) support abundant spatial modes and involve rich spatiotemporal dynamics, yielding many promising applications. Here, we investigate the influences of the number and initial energy of high order modes (HOMs) on the energy flow from the intermediate modes (IMs) to the fundamental mode (FM) and HOMs. It is quite surprising that random distribution of high order modes evolves to a stationary one, indicating the asymptotic behavior of orbits in the same attraction domain. By employing the Lyapunov exponent, we prove that the threshold of the HOMs attractor is consistent with the transition point of the energy flow which indiactes the HOMs attracotr acts as a "valve" in the modal energy flow. Our results provide a new perspective to explore the nonlinear phenomena in MMFs, such as Kerr self cleaning, and may pave the way to some potential applications, such as secure communications in MMFs.


Almost sharp Sobolev trace inequalities in the unit ball under constraints. We establish three families of Sobolev trace inequalities of orders two and four in the unit ball under higher order moments constraint, and are able to construct emph smooth test functions to show all such inequalities are emph almost optimal . Some distinct feature in emph almost sharpness examples between the fourth order and second order Sobolev trace inequalities is discovered. This has been neglected in higher order Sobolev inequality case in cite Hang . As a byproduct, the method of our construction can be used to show the sharpness of the generalized Lebedev Milin inequality under constraints.


Super Spreaders Out, Super Spreading In The Effects of Infectiousness Heterogeneity and Lockdowns on Herd Immunity. Recently, 8 has proposed that heterogeneity of infectiousness (and susceptibility) across individuals in infectious diseases, plays a major role in affecting the Herd Immunity Threshold (HIT). Such heterogeneity has been observed in COVID 19 and is recognized as overdispersion (or "super spreading"). The model of 8 suggests that super spreaders contribute significantly to the effective reproduction factor, R, and that they are likely to get infected and immune early in the process. Consequently, under R 0 3 (attributed to COVID 19), the Herd Immunity Threshold (HIT) is as low as 5 , in contrast to 67 according to the traditional models 1, 2, 4, 10 . This work follows up on 8 and proposes that heterogeneity of infectiousness (susceptibility) has two "faces" whose mix affects dramatically the HIT (1) Personal Trait , and (2) Event Based Infectiousness (Susceptibility). The former is a personal trait of specific individuals (super spreaders) and is nullified once those individuals are immune (as in 8 ). The latter is event based (e.g cultural super spreading events) and remains effective throughout the process, even after the super spreaders immune. We extend 8 's model to account for these two factors, analyze it and conclude that the HIT is very sensitive to the mix between (1) and (2), and under R 0 3 it can vary between 5 and 67 . Preliminary data from COVID 19 suggests that herd immunity is not reached at 5 . We address operational aspects and analyze the effects of lockdown strategies on the spread of a disease. We find that herd immunity (and HIT) is very sensitive to the lockdown type. While some lockdowns affect positively the disease blocking and increase herd immunity, others have adverse effects and reduce the herd immunity.


Supervised Contrastive Replay Revisiting the Nearest Class Mean Classifier in Online Class Incremental Continual Learning. Online class incremental continual learning (CL) studies the problem of learning new classes continually from an online non stationary data stream, intending to adapt to new data while mitigating catastrophic forgetting. While memory replay has shown promising results, the recency bias in online learning caused by the commonly used Softmax classifier remains an unsolved challenge. Although the Nearest Class Mean (NCM) classifier is significantly undervalued in the CL community, we demonstrate that it is a simple yet effective substitute for the Softmax classifier. It addresses the recency bias and avoids structural changes in the fully connected layer for new classes. Moreover, we observe considerable and consistent performance gains when replacing the Softmax classifier with the NCM classifier for several state of the art replay methods. To leverage the NCM classifier more effectively, data embeddings belonging to the same class should be clustered and well separated from those with a different class label. To this end, we contribute Supervised Contrastive Replay (SCR), which explicitly encourages samples from the same class to cluster tightly in embedding space while pushing those of different classes further apart during replay based training. Overall, we observe that our proposed SCR substantially reduces catastrophic forgetting and outperforms state of the art CL methods by a significant margin on a variety of datasets.


Text is NOT Enough Integrating Visual Impressions into Open domain Dialogue Generation. Open domain dialogue generation in natural language processing (NLP) is by default a pure language task, which aims to satisfy human need for daily communication on open ended topics by producing related and informative responses. In this paper, we point out that hidden images, named as visual impressions (VIs), can be explored from the text only data to enhance dialogue understanding and help generate better responses. Besides, the semantic dependency between an dialogue post and its response is complicated, e.g., few word alignments and some topic transitions. Therefore, the visual impressions of them are not shared, and it is more reasonable to integrate the response visual impressions (RVIs) into the decoder, rather than the post visual impressions (PVIs). However, both the response and its RVIs are not given directly in the test process. To handle the above issues, we propose a framework to explicitly construct VIs based on pure language dialogue datasets and utilize them for better dialogue understanding and generation. Specifically, we obtain a group of images (PVIs) for each post based on a pre trained word image mapping model. These PVIs are used in a co attention encoder to get a post representation with both visual and textual information. Since the RVIs are not provided directly during testing, we design a cascade decoder that consists of two sub decoders. The first sub decoder predicts the content words in response, and applies the word image mapping model to get those RVIs. Then, the second sub decoder generates the response based on the post and RVIs. Experimental results on two open domain dialogue datasets show that our proposed approach achieves superior performance over competitive baselines.


MugRep A Multi Task Hierarchical Graph Representation Learning Framework for Real Estate Appraisal. Real estate appraisal refers to the process of developing an unbiased opinion for real property's market value, which plays a vital role in decision making for various players in the marketplace (e.g., real estate agents, appraisers, lenders, and buyers). However, it is a nontrivial task for accurate real estate appraisal because of three major challenges (1) The complicated influencing factors for property value (2) The asynchronously spatiotemporal dependencies among real estate transactions (3) The diversified correlations between residential communities. To this end, we propose a Multi Task Hierarchical Graph Representation Learning (MugRep) framework for accurate real estate appraisal. Specifically, by acquiring and integrating multi source urban data, we first construct a rich feature set to comprehensively profile the real estate from multiple perspectives (e.g., geographical distribution, human mobility distribution, and resident demographics distribution). Then, an evolving real estate transaction graph and a corresponding event graph convolution module are proposed to incorporate asynchronously spatiotemporal dependencies among real estate transactions. Moreover, to further incorporate valuable knowledge from the view of residential communities, we devise a hierarchical heterogeneous community graph convolution module to capture diversified correlations between residential communities. Finally, an urban district partitioned multi task learning module is introduced to generate differently distributed value opinions for real estate. Extensive experiments on two real world datasets demonstrate the effectiveness of MugRep and its components and features.


The Role of Bio Inspired Modularity in General Learning. One goal of general intelligence is to learn novel information without overwriting prior learning. The utility of learning without forgetting (CF) is twofold first, the system can return to previously learned tasks after learning something new. In addition, bootstrapping previous knowledge may allow for faster learning of a novel task. Previous approaches to CF and bootstrapping are primarily based on modifying learning in the form of changing weights to tune the model to the current task, overwriting previously tuned weights from previous tasks.However, another critical factor that has been largely overlooked is the initial network topology, or architecture. Here, we argue that the topology of biological brains likely evolved certain features that are designed to achieve this kind of informational conservation. In particular, we consider that the highly conserved property of modularity may offer a solution to weight update learning methods that adheres to the learning without catastrophic forgetting and bootstrapping constraints. Final considerations are then made on how to combine these two learning objectives in a dynamical, general learning system.


ARTSeg Employing Attention for Thermal images Semantic Segmentation. The research advancements have made the neural network algorithms deployed in the autonomous vehicle to perceive the surrounding. The standard exteroceptive sensors that are utilized for the perception of the environment are cameras and Lidar. Therefore, the neural network algorithms developed using these exteroceptive sensors have provided the necessary solution for the autonomous vehicle's perception. One major drawback of these exteroceptive sensors is their operability in adverse weather conditions, for instance, low illumination and night conditions. The useability and affordability of thermal cameras in the sensor suite of the autonomous vehicle provide the necessary improvement in the autonomous vehicle's perception in adverse weather conditions. The semantics of the environment benefits the robust perception, which can be achieved by segmenting different objects in the scene. In this work, we have employed the thermal camera for semantic segmentation. We have designed an attention based Recurrent Convolution Network (RCNN) encoder decoder architecture named ARTSeg for thermal semantic segmentation. The main contribution of this work is the design of encoder decoder architecture, which employ units of RCNN for each encoder and decoder block. Furthermore, additive attention is employed in the decoder module to retain high resolution features and improve the localization of features. The efficacy of the proposed method is evaluated on the available public dataset, showing better performance with other state of the art methods in mean intersection over union (IoU).


Geometric continuous stage exponential energy preserving integrators for charged particle dynamics in a magnetic field from normal to strong regimes. This paper is concerned with geometric exponential energy preserving integrators for solving charged particle dynamics in a magnetic field from normal to strong regimes. We firstly formulate the scheme of the methods for the system in a uniform magnetic field by using the idea of continuous stage methods, and then discuss its energy preserving property. Moreover, symmetric conditions and order conditions are analysed. Based on those conditions, we propose two practical symmetric continuous stage exponential energy preserving integrators of order up to four. Then we extend the obtained methods to the system in a nonuniform magnetic field and derive their properties including the symmetry, convergence and energy conservation. Numerical experiments demonstrate the efficiency of the proposed methods in comparison with some existing schemes in the literature.


Well posedness for SQG sharp fronts with unbounded curvature. Patch solutions for the surface quasigeostrophic (SQG) equation model sharp temperature fronts in atmospheric and oceanic flows. We establish local well posedness for SQG sharp fronts of low Sobolev regularity, H 2 s for arbitrarily small s 0 , allowing for fronts with unbounded curvature.


Variational Information Bottleneck for Effective Low Resource Fine Tuning. While large scale pretrained language models have obtained impressive results when fine tuned on a wide variety of tasks, they still often suffer from overfitting in low resource scenarios. Since such models are general purpose feature extractors, many of these features are inevitably irrelevant for a given target task. We propose to use Variational Information Bottleneck (VIB) to suppress irrelevant features when fine tuning on low resource target tasks, and show that our method successfully reduces overfitting. Moreover, we show that our VIB model finds sentence representations that are more robust to biases in natural language inference datasets, and thereby obtains better generalization to out of domain datasets. Evaluation on seven low resource datasets in different tasks shows that our method significantly improves transfer learning in low resource scenarios, surpassing prior work. Moreover, it improves generalization on 13 out of 15 out of domain natural language inference benchmarks. Our code is publicly available in https github.com rabeehk vibert.


Unicode at Gigabytes per Second. We often represent text using Unicode formats (UTF 8 and UTF 16). The UTF 8 format is increasingly popular, especially on the web (XML, HTML, JSON, Rust, Go, Swift, Ruby). The UTF 16 format is most common in Java, .NET, and inside operating systems such as Windows. Software systems frequently have to convert text from one Unicode format to the other. While recent disks have bandwidths of 5 GiB s or more, conventional approaches transcode non ASCII text at a fraction of a gigabyte per second. We show that we can validate and transcode Unicode text at gigabytes per second on current systems (x64 and ARM) without sacrificing safety. Our open source library can be ten times faster than the popular ICU library on non ASCII strings and even faster on ASCII strings.


A Survey On (Stochastic Fractal Search) Algorithm. Evolutionary Algorithms are naturally inspired approximation optimisation algorithms that usually interfere with science problems when common mathematical methods are unable to provide a good solution or finding the exact solution requires an unreasonable amount of time using traditional exhaustive search algorithms. The success of these population based frameworks is mainly due to their flexibility and ease of adaptation to the most different and complex optimisation problems. This paper presents a metaheuristic algorithm called Stochastic Fractal Search, inspired by the natural phenomenon of growth based on a mathematical concept called the fractal, which is shown to be able to explore the search space more efficiently. This paper also focuses on the algorithm steps and some example applications of engineering design optimisation problems commonly used in the literature being applied to the proposed algorithm.


Multidimensional Assignment Problem for multipartite entity resolution. Multipartite entity resolution aims at integrating records from multiple datasets into one entity. We derive a mathematical formulation for a general class of record linkage problems in multipartite entity resolution across many datasets as a combinatorial optimization problem known as the multidimensional assignment problem. As a motivation for our approach, we illustrate the advantage of multipartite entity resolution over sequential bipartite matching. Because the optimization problem is NP hard, we apply two heuristic procedures, a Greedy algorithm and very large scale neighborhood search, to solve the assignment problem and find the most likely matching of records from multiple datasets into a single entity. We evaluate and compare the performance of these algorithms and their modifications on synthetically generated data. We perform computational experiments to compare performance of recent heuristic, the very large scale neighborhood search, with a Greedy algorithm, another heuristic for the MAP, as well as with two versions of genetic algorithm, a general metaheuristic. Importantly, we perform experiments to compare two alternative methods of re starting the search for the former heuristic, specifically a random sampling multi start and a deterministic design based multi start. We find evidence that design based multi start can be more efficient as the size of databases grow large. In addition, we show that very large scale search, especially its multi start version, outperforms simple Greedy heuristic. Hybridization of Greedy search with very large scale neighborhood search improves the performance. Using multi start with as few as three additional runs of very large scale search offers some improvement in the performance of the very large scale search procedure. Last, we propose an approach to evaluating complexity of the very large scale neighborhood search.


Topological edge states at singular points in non Hermitian plasmonic systems. We introduce non Hermitian plasmonic waveguide cavity systems with topological edge states (TESs) at singular points. The compound unit cells of the structures consist of metal dielectric metal (MDM) stub resonators side coupled to an MDM waveguide. We show that we can realize both a TES and an exceptional point at the same frequency when a proper amount of loss is introduced into a finite three unit cell structure. We also show that the finite structure can exhibit both a TES and a spectral singularity when a proper amount of gain is introduced into the structure. In addition, we show that we can simultaneously realize a unidirectional spectral singularity and a TES when proper amounts of loss and gain are introduced into the structure. We finally show that this singularity leads to extremely high sensitivity of the reflected light intensity to variations of the refractive index of the active materials in the structure. TESs at singular points could potentially contribute to the development of singularity based plasmonic devices with enhanced performance.


Learning to Detect Every Thing in an Open World. Many open world applications require the detection of novel objects, yet state of the art object detection and instance segmentation networks do not excel at this task. The key issue lies in their assumption that regions without any annotations should be suppressed as negatives, which teaches the model to treat the unannotated objects as background. To address this issue, we propose a simple yet surprisingly powerful data augmentation and training scheme we call Learning to Detect Every Thing (LDET). To avoid suppressing hidden objects, background objects that are visible but unlabeled, we paste annotated objects on a background image sampled from a small region of the original image. Since training solely on such synthetically augmented images suffers from domain shift, we decouple the training into two parts 1) training the region classification and regression head on augmented images, and 2) training the mask heads on original images. In this way, a model does not learn to classify hidden objects as background while generalizing well to real images. LDET leads to significant improvements on many datasets in the open world instance segmentation task, outperforming baselines on cross category generalization on COCO, as well as cross dataset evaluation on UVO and Cityscapes.


Disjointly non singular operators on order continuous Banach lattices complement the unbounded norm topology. In this article we investigate the disjointly non singular (DNS) operators. Following 8 we say that an operator T from a Banach lattice F into a Banach space E is DNS, if no restriction of T to a subspace generated by a disjoint sequence is strictly singular. We partially answer a question from 8 by showing that this class of operators forms an open subset of L left(F,E right) as soon as F is order continuous. Moreover, we show that in this case T is DNS if and only if the norm topology is the minimal topology which is simultaneously stronger than the unbounded norm topology and the topology generated by T as a map (we say that T "complements" the unbounded norm topology in F ). Since the class of DNS operators plays a similar role in the category of Banach lattices as the upper semi Fredholm operators play in the category of Banach spaces, we investigate and indeed uncover a similar characterization of the latter class of operators, but this time they have to complement the weak topology.


Lifetime of respiratory saliva droplets. Respiratory transmission by airborne droplets is the leading mechanism by which SARS CoV 2 spreads. Motivated by the pressing need to understand this spread, we formulate a model of the dynamics of respiratory saliva droplets, quantifying the relative contribution of key factors to the airborne lifetime of virus carrying droplets. We consider a simple momentum balance to calculate the spread of respiratory droplets, accounting for their size evolution as they undergo vaporisation via mass and energy balances. The model shows how an increase in relative humidity leads to larger descent rates, which shorten the lifetime of droplets and therefore reduce the risk of transmission. Emulating indoor air turbulence using a stochastic process, we numerically calculate probability distributions for the lifetime of droplets, showing how an increase in the air turbulent velocity significantly enhances the range of lifetimes. The distributions reveal non negligible probabilities for very long lifetimes, which potentially escalate the risk of transmission. The droplet model may be coupled with more detailed models for the air flow to study the lifetime and spread of saliva droplets in specific spaces.


The isomorphism problem for tensor algebras of multivariable dynamical systems. We resolve the isomorphism problem for tensor algebras of unital multivariable dynamical systems. Specifically we show that unitary equivalence after a conjugation for multivariable dynamical systems is a complete invariant for complete isometric isomorphisms between their tensor algebras. In particular, this settles a conjecture of Davidson and Kakariadis relating to work of Arveson from the sixties, and extends related work of Kakariadis and Katsoulis.


PicArrange Visually Sort, Search, and Explore Private Images on a Mac Computer. The native macOS application PicArrange integrates state of the art image sorting and similarity search to enable users to get a better overview of their images. Many file and image management features have been added to make it a tool that addresses a full image management workflow. A modification of the Self Sorting Map algorithm enables a list like image arrangement without loosing the visual sorting. Efficient calculation and storage of visual features as well as the use of many macOS APIs result in an application that is fluid to use.


Perfect congruences on bisimple omega semigroups. A congruence varepsilon on a semigroup S is perfect if for any congruence classes x varepsilon and y varepsilon their product as subsets of S coincides (as a set) with the congruence class (xy) varepsilon . Perfect congruences on the bicyclic semigroup were found in cite key7 . Using the structure of bisimple omega semigroups determined in cite key25 and the description of congruences on these semigroups found in cite key20 and cite key1 , we obtain a complete characterization of perfect congruences on all bisimple omega semigroups, substantially generalizing the above mentioned result of cite key7 .


Mid infrared photodetector based on 2D material metamaterial with negative index properties for a wide range of angles near vertical illumination. We present the vertically illuminated Si compatible mid infrared photodetectors based on graphene that forms negative index metamaterial. The coupling into a 2D layer at the angles near normal to the surface is negligible without the help of a metamaterial. We propose a low loss metamaterial, the dielectric structure with the nano microholes through 2D materials that supports a resonance and enhances quantum efficiency in a wide range of incident angles.


Around the combinatorial unit ball of measured foliations on bordered surfaces. The volume mathscr B Sigma rm comb ( mathbb G ) of the unit ball with respect to the combinatorial length function ell mathbb G of the space of measured foliations on a stable bordered surface Sigma appears as the prefactor of the polynomial growth of the number of multicurves on Sigma . We find the range of s in mathbb R for which ( mathscr B Sigma rm comb ) s , as a function over the combinatorial moduli spaces, is integrable with respect to the Kontsevich measure. The results depends on the topology of Sigma , in contrast with the situation for hyperbolic surfaces where Arana Herrera and Athreya (arXiv 1907.06287) recently proved an optimal square integrability.


Twists, crossed products and inverse semigroup cohomology. Twisted 'etale groupoid algebras have been studied recently in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper, we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups and we show that they are classified by Lausch's second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists. We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.


mathrm L 1 full groups of flows. We introduce the concept of an mathrm L 1 full group associated with a measure preserving action of a Polish normed group on a standard probability space. Such groups are shown to carry a natural separable complete metric, and are thus Polish. Our construction generalizes mathrm L 1 full groups of actions of discrete groups, which have been studied recently by the first author. We show that under minor assumptions on the actions, topological derived subgroups of mathrm L 1 full groups are topologically simple and when the acting group is locally compact and amenable are whirly amenable and generically two generated. For measure preserving actions of the real line (also known as measure preserving flows), the topological derived subgroup of an mathrm L 1 full groups is shown to coincide with the kernel of the index map, which implies that mathrm L 1 full groups of free measure preserving flows are topologically finitely generated if and only if the flow admits finitely many ergodic components. The latter is in a striking contrast to the case of mathbb Z actions, where the number of topological generators is controlled by the entropy of the action.


Social media emotion macroscopes reflect emotional experiences in society at large. Social media generate data on human behaviour at large scales and over long periods of time, posing a complementary approach to traditional methods in the social sciences. Millions of texts from social media can be processed with computational methods to study emotions over time and across regions. However, recent research has shown weak correlations between social media emotions and affect questionnaires at the individual level and between static regional aggregates of social media emotion and subjective well being at the population level, questioning the validity of social media data to study emotions. Yet, to date, no research has tested the validity of social media emotion macroscopes to track the temporal evolution of emotions at the level of a whole society. Here we present a pre registered prediction study that shows how gender rescaled time series of Twitter emotional expression at the national level substantially correlate with aggregates of self reported emotions in a weekly representative survey in the United Kingdom. A follow up exploratory analysis shows a high prevalence of third person references in emotionally charged tweets, indicating that social media data provide a way of social sensing the emotions of others rather than just the emotional experiences of users. These results show that, despite the issues that social media have in terms of representativeness and algorithmic confounding, the combination of advanced text analysis methods with user demographic information in social media emotion macroscopes can provide measures that are informative of the general population beyond social media users.


Maximum Bayes Smatch Ensemble Distillation for AMR Parsing. AMR parsing has experienced an unprecendented increase in performance in the last three years, due to a mixture of effects including architecture improvements and transfer learning. Self learning techniques have also played a role in pushing performance forward. However, for most recent high performant parsers, the effect of self learning and silver data augmentation seems to be fading. In this paper we propose to overcome this diminishing returns of silver data by combining Smatch based ensembling techniques with ensemble distillation. In an extensive experimental setup, we push single model English parser performance to a new state of the art, 85.9 (AMR2.0) and 84.3 (AMR3.0), and return to substantial gains from silver data augmentation. We also attain a new state of the art for cross lingual AMR parsing for Chinese, German, Italian and Spanish. Finally we explore the impact of the proposed technique on domain adaptation, and show that it can produce gains rivaling those of human annotated data for QALD 9 and achieve a new state of the art for BioAMR.


Cross lingual Adaption Model Agnostic Meta Learning for Natural Language Understanding. Meta learning with auxiliary languages has demonstrated promising improvements for cross lingual natural language processing. However, previous studies sample the meta training and meta testing data from the same language, which limits the ability of the model for cross lingual transfer. In this paper, we propose XLA MAML, which performs direct cross lingual adaption in the meta learning stage. We conduct zero shot and few shot experiments on Natural Language Inference and Question Answering. The experimental results demonstrate the effectiveness of our method across different languages, tasks, and pretrained models. We also give analysis on various cross lingual specific settings for meta learning including sampling strategy and parallelism.


Event based clinical findings extraction from radiology reports with pre trained language model. Radiology reports contain a diverse and rich set of clinical abnormalities documented by radiologists during their interpretation of the images. Comprehensive semantic representations of radiological findings would enable a wide range of secondary use applications to support diagnosis, triage, outcomes prediction, and clinical research. In this paper, we present a new corpus of radiology reports annotated with clinical findings. Our annotation schema captures detailed representations of pathologic findings that are observable on imaging ("lesions") and other types of clinical problems ("medical problems"). The schema used an event based representation to capture fine grained details, including assertion, anatomy, characteristics, size, count, etc. Our gold standard corpus contained a total of 500 annotated computed tomography (CT) reports. We extracted triggers and argument entities using two state of the art deep learning architectures, including BERT. We then predicted the linkages between trigger and argument entities (referred to as argument roles) using a BERT based relation extraction model. We achieved the best extraction performance using a BERT model pre trained on 3 million radiology reports from our institution 90.9 93.4 F1 for finding triggers 72.0 85.6 F1 for arguments roles. To assess model generalizability, we used an external validation set randomly sampled from the MIMIC Chest X ray (MIMIC CXR) database. The extraction performance on this validation set was 95.6 for finding triggers and 79.1 89.7 for argument roles, demonstrating that the model generalized well to the cross institutional data with a different imaging modality. We extracted the finding events from all the radiology reports in the MIMIC CXR database and provided the extractions to the research community.


Bongartz completion via c vectors. In the present paper, we first give a characterization for Bongartz completion in tau tilting theory via c vectors. Motivated by this characterization, we give the definition of Bongartz completion in cluster algebras using c vectors. Then we prove the existence and uniqueness of Bongartz completion in cluster algebras. We also prove that Bongartz completion admits certain commutativity. We give two applications for Bongartz completion in cluster algebras. As the first application, we prove the full subquiver of the exchange quiver (or known as oriented exchange graph) of a cluster algebra mathcal A whose vertices consist of seeds of mathcal A containing particular cluster variables is isomorphic to the exchange quiver of another cluster algebra. As the second application, we prove that in a cluster Poisson algebra mathcal X bullet , each cluster Poisson seed (up to seed equivalence) of mathcal X bullet is uniquely determined by its negative cluster Poisson variables.


Infinitesimal maximal symmetry and Ricci soliton solvmanifolds. This work addresses the questions (i) Among all left invariant Riemannian metrics on a given Lie group, are there any whose isometry groups or isometry algebras contain that of all others? (ii) Do expanding left invariant Ricci solitons exhibit such maximal symmetry? We address (i) both for semisimple and for solvable Lie groups. Building on previous work of the authors on Einstein metrics, it is shown that expanding homogeneous Ricci solitons have maximal isometry algebras although not always maximal isometry groups. As a corollary of the tools developed to address these questions, we extend partial results of B "ohm, Lafuente, and Lauret to prove that left invariant Ricci solitons on solvable Lie groups are unique up to scaling and isometry.


Cryogenic thermo acoustic oscillations highlight and study in the SPIRAL2 superconducting LINAC. Cryogenic thermoacoustic oscillations is an area of interest of several studies. For superconducting accelerators, it is an unwanted phenomena that we usually want to get rid off. The SPIRAL2 superconducting accelerator had distributed Taconis all over its cryostats. This paper spans the different steps from their first detection to their damping with a highlight on the methods and the instrumentation that has been used. The presented study also sets the ground for a real life experimental investigation of thermo ascoustics in complex geometries such as superconducting LINACs. With modern Big data analysis and simulation tools, it also sets the ground for the developments of new data linked codes that fit these complex situations.


An anisotropic regularity condition for the 3D incompressible Navier Stokes equations for the entire exponent range. We show that a suitable weak solution to the incompressible Navier Stokes equations on mathbb R 3 times( 1,1) is regular on mathbb R 3 times(0,1 if partial 3 u belongs to M 2p (2p 3), alpha (( 1,0) L p ( mathbb R 3 )) for any alpha 1 and p in (3 2, infty) , which is a logarithmic type variation of a Morrey space in time. For each alpha 1 this space is, up to a logarithm, critical with respect to the scaling of the equations, and contains all spaces L q (( 1,0) L p ( mathbb R 3 )) that are subcritical, that is for which 2 q 3 p 2 .


Towards Practical Credit Assignment for Deep Reinforcement Learning. Credit assignment is a fundamental problem in reinforcement learning, the problem of measuring an action's influence on future rewards. Explicit credit assignment methods have the potential to boost the performance of RL algorithms on many tasks, but thus far remain impractical for general use. Recently, a family of methods called Hindsight Credit Assignment (HCA) was proposed, which explicitly assign credit to actions in hindsight based on the probability of the action having led to an observed outcome. This approach has appealing properties, but remains a largely theoretical idea applicable to a limited set of tabular RL tasks. Moreover, it is unclear how to extend HCA to deep RL environments. In this work, we explore the use of HCA style credit in a deep RL context. We first describe the limitations of existing HCA algorithms in deep RL that lead to their poor performance or complete lack of training, then propose several theoretically justified modifications to overcome them. We explore the quantitative and qualitative effects of the resulting algorithm on the Arcade Learning Environment (ALE) benchmark, and observe that it improves performance over Advantage Actor Critic (A2C) on many games where non trivial credit assignment is necessary to achieve high scores and where hindsight probabilities can be accurately estimated.


The regularity problem for the Laplace equation in rough domains. Let Omega subset mathbb R n 1 , n geq 2 , be a bounded open and connected set satisfying the corkscrew condition with uniformly n rectifiable boundary. In this paper we study the equivalence between the solvability of (D p' ) , the Dirichlet problem for the Laplacian with boundary data in L p' ( partial Omega) , and (R p ) (resp. ( tilde R p ) ), the regularity problem for the Laplacian with boundary data in the Hajlasz Sobolev space W 1,p ( partial Omega) (resp. tilde W 1,p ( partial Omega) , the usual Sobolev space in terms of the tangential derivative), where p in (1,2 varepsilon) and 1 p 1 p' 1 . In particular, we show that if (D p' ) is solvable then so is (R p ) , while in the opposite direction, solvability of ( tilde R p ) implies solvability of (D p ) . Under additional geometric assumptions (two sided local John condition or weak Poincare inequality on the boundary), we show that (D p' ) Rightarrow ( tilde R p ) and (R p ) Rightarrow (D p ) . In particular, our results show that in chord arc domains (resp. two sided chord arc domains), there exists p 0 in (1,2 varepsilon) so that (R p 0 ) (resp. ( tilde R p 0 ) ) is solvable. We also extend the results to unbounded domains with compact boundary and show that in two sided corkscrew domains with n Ahlfors David regular boundaries, the single layer potential operator is invertible from L p( partial Omega) to the inhomogeneous Sobolev space W 1,p ( partial Omega) . Finally, we provide a counterexample of a chord arc domain Omega 0 subset mathbb R n 1 , n geq 3 , so that ( tilde R p) is not solvable for any p in 1, infty) .


Avoiding dynamic small obstacles with onboard sensing and computating on aerial robots. In practical applications, autonomous quadrotors are still facing significant challenges, such as the detection and avoidance of very small and even dynamic obstacles (e.g., tree branches, power lines). In this paper, we propose a compact, integrated, and fully autonomous quadrotor system, which can fly safely in cluttered environments while avoiding dynamic small obstacles. Our quadrotor platform is equipped with a forward looking three dimensional (3D) light detection and ranging (lidar) sensor to perceive the environment and an onboard embedded computer to perform all the estimation, mapping, and planning tasks. Specifically, the computer estimates the current pose of the UAV, maintains a local map (time accumulated point clouds KD Trees), and computes a safe trajectory using kinodynamic A search to the goal point. The whole perception and planning system can run onboard at 50Hz with careful optimization. Various indoor and outdoor experiments show that the system can avoid dynamic small obstacles (down to 20mm diameter bar) while flying at 2m s in cluttered environments. Our codes and hardware design are open sourced on Github.


Finding K dissimilar paths using integer linear formulations. While finding a path between two nodes is the basis for several applications, the need for alternative paths also may have various motivations. For instance, this can be of interest for ensuring reliability in a telecommunications network, for reducing the consequences of possible accidents in the transportation of hazardous materials, or to decrease the risk of robberies in money distribution. Each of these applications has particular characteristics, but they all have the common purpose of searching for a set of paths which are as dissimilar as possible with respect to the nodes arcs that compose them. In this work we present linear integer programming formulations for finding K dissimilar paths, with the main goal of preventing the overlap of arcs in the paths for a given integer K . The different formulations are tested for randomly generated general networks and for grid networks. The obtained results are compared in terms of the solutions' dissimilarity and of the run time. Two of the new formulations are able to find 10 paths with better average and minimum dissimilarity values than an iterative approach in the literature, in less than 20 seconds, for random networks with 500 nodes and 5000 arcs.


Geodesic orbit metrics in a class of homogeneous bundles over quaternionic Stiefel manifolds. Geodesic orbit spaces (or g.o. spaces) are defined as those homogeneous Riemannian spaces (M G H,g) whose geodesics are orbits of one parameter subgroups of G . The corresponding metric g is called a geodesic orbit metric. We study the geodesic orbit spaces of the form ( Sp(n) Sp(n 1) times cdots times Sp(n s), g) , with 0 n 1 cdots n s leq n . Such spaces include spheres, quaternionic Stiefel manifolds, Grassmann manifolds and quaternionic flag manifolds. The present work is a contribution to the study of g.o. spaces (G H,g) with H semisimple.


Causal Effect Variational Autoencoder with Uniform Treatment. Causal effect variational autoencoder (CEVAE) are trained to predict the outcome given observational treatment data, while uniform treatment variational autoencoders (UTVAE) are trained with uniform treatment distribution using importance sampling. In this paper, we show that using uniform treatment over observational treatment distribution leads to better causal inference by mitigating the distribution shift that occurs from training to test time. We also explore the combination of uniform and observational treatment distributions with inference and generative network training objectives to find a better training procedure for inferring treatment effect. Experimentally, we find that the proposed UTVAE yields better absolute average treatment effect error and precision in estimation of heterogeneous effect error than the CEVAE on synthetic and IHDP datasets.


Holomorphic integer graded vertex superalgebras. In this note we study holomorphic integer graded vertex superalgebras. We prove that all such vertex superalgebras of central charge 8 and 16 are purely even. For the case of central charge 24 we prove that the weight one Lie superalgebra is either zero, of superdimension 24, or else is one of an explicit list of 1332 semisimple Lie superalgebras.


Learning compositional structures for semantic graph parsing. AM dependency parsing is a method for neural semantic graph parsing that exploits the principle of compositionality. While AM dependency parsers have been shown to be fast and accurate across several graphbanks, they require explicit annotations of the compositional tree structures for training. In the past, these were obtained using complex graphbank specific heuristics written by experts. Here we show how they can instead be trained directly on the graphs with a neural latent variable model, drastically reducing the amount and complexity of manual heuristics. We demonstrate that our model picks up on several linguistic phenomena on its own and achieves comparable accuracy to supervised training, greatly facilitating the use of AM dependency parsing for new sembanks.


Multiplicity, regularity and blow spherical equivalence of real analytic sets. This article is devoted to studying multiplicity and regularity of real analytic sets. We present an equivalence for real analytic sets, named blow spherical equivalence, which generalizes differential equivalence and subanalytic bi Lipschitz equivalence and, with this approach, we obtain several applications on analytic sets. On regularity, we show that blow spherical regularity of real analytic implies C 1 smoothness only in the case of real analytic curves. On multiplicity, we present a generalization for Gau Lipman's Theorem about differential invariance of the multiplicity in the complex and real cases, we show that the multiplicity rm mod ,2 is invariant by blow spherical homeomorphisms in the case of real analytic curves and surfaces and also for a class of real analytic foliations and is invariant by (image) arc analytic blow spherical homeomorphisms in the case of real analytic hypersurfaces, generalizing some results proved by G. Valette. We present also a complete classification of the germs of real analytic curves.


Minimal determining sets for certain W graph ideals. We consider Kazhdan Lusztig cells of the symmetric group S n containing the longest element of a standard parabolic subgroup of S n . Extending some of the ideas in Beitr "a ge zur Algebra und Geometrie, 59 (2018), no. 3, 523 547 and Journal of Algebra and Its Applications, 20 (2021), no. 10, 2150181 , we determine the rim of some additional families of cells and also of certain induced unions of cells. These rims provide minimal determining sets for certain W graph ideals introduced in Journal of Algebra, 361 (2012), 188 212 .


Spectral stability, spectral flow and circular relative equilibria for the Newtonian n body problem. For the Newtonian (gravitational) n body problem in the Euclidean d dimensional space, d ge 2 , the simplest possible periodic solutions are provided by circular relative equilibria, (RE) for short, namely solutions in which each body rigidly rotates about the center of mass and the configuration of the whole system is constant in time and central (or, more generally, balanced) configuration. For d le 3 , the only possible (RE) are planar, but in dimension four it is possible to get truly four dimensional (RE). A classical problem in celestial mechanics aims at relating the (in )stability properties of a (RE) to the index properties of the central (or, more generally, balanced) configuration generating it. In this paper, we provide sufficient conditions that imply the spectral instability of planar and non planar (RE) in mathbb R 4 generated by a central configuration, thus answering some of the questions raised in cite Page 63 Moe14 . As a corollary, we retrieve a classical result of Hu and Sun cite HS09 on the linear instability of planar (RE) whose generating central configuration is non degenerate and has odd Morse index, and fix a gap in the statement of cite Theorem 1 BJP14 about the spectral instability of planar (RE) whose (possibly degenerate) generating central configuration has odd Morse index. The key ingredients are a new formula of independent interest that allows to compute the spectral flow of a path of symmetric matrices having degenerate starting point, and a symplectic decomposition of the phase space of the linearized Hamiltonian system along a given (RE) which is inspired by Meyer and Schmidt's planar decomposition cite MS05 and which allows us to rule out the uninteresting part of the dynamics corresponding to the translational and (partially) to the rotational symmetry of the problem.


CARLA A Python Library to Benchmark Algorithmic Recourse and Counterfactual Explanation Algorithms. Counterfactual explanations provide means for prescriptive model explanations by suggesting actionable feature changes (e.g., increase income) that allow individuals to achieve favorable outcomes in the future (e.g., insurance approval). Choosing an appropriate method is a crucial aspect for meaningful counterfactual explanations. As documented in recent reviews, there exists a quickly growing literature with available methods. Yet, in the absence of widely available opensource implementations, the decision in favor of certain models is primarily based on what is readily available. Going forward to guarantee meaningful comparisons across explanation methods we present CARLA (Counterfactual And Recourse LibrAry), a python library for benchmarking counterfactual explanation methods across both different data sets and different machine learning models. In summary, our work provides the following contributions (i) an extensive benchmark of 11 popular counterfactual explanation methods, (ii) a benchmarking framework for research on future counterfactual explanation methods, and (iii) a standardized set of integrated evaluation measures and data sets for transparent and extensive comparisons of these methods. We have open sourced CARLA and our experimental results on Github, making them available as competitive baselines. We welcome contributions from other research groups and practitioners.


A distribution function from population genetics statistics using Stirling numbers of the first kind Asymptotics, inversion and numerical evaluation. Stirling numbers of the first kind are common in number theory and combinatorics through Ewen's sampling formula, these numbers enter into the calculation of several population genetics statistics, such as Fu's Fs. In previous papers we have considered an asymptotic estimator for a finite sum of Stirling numbers, which enables rapid and accurate calculation of Fu's Fs. These sums can also be viewed as a cumulative distribution function this formulation leads directly to an inversion problem, where, given a value for Fu's Fs, the goal is to solve for one of the input parameters. We solve this inversion using Newton iteration for small parameters. For large parameters we need to extend the earlier obtained asymptotic results to handle the inversion problem asymptotically. Numerical experiments are given to show the efficiency of both solving the inversion problem and the expanded estimator for the statistical quantities.


Coexistence in competing first passage percolation with conversion. We introduce a two type first passage percolation competition model on infinite connected graphs as follows. Type 1 spreads through the edges of the graph at rate 1 from a single distinguished site, while all other sites are initially vacant. Once a site is occupied by type 1, it converts to type 2 at rate rho 0 . Sites occupied by type 2 then spread at rate lambda 0 through vacant sites emph and sites occupied by type 1, whereas type 1 can only spread through vacant sites. If the set of sites occupied by type 1 is non empty at all times, we say type 1 emph survives . In the case of a regular d ary tree for d geq 3 , we show type 1 can survive when it is slower than type 2, provided rho is small enough. This is in contrast to when the underlying graph is mathbb Z d , where for any rho 0 , type 1 dies out almost surely if lambda 1 .


Colouring locally sparse graphs with the first moment method. We give a short proof of a bound on the list chromatic number of graphs G of maximum degree Delta where each neighbourhood has density at most d , namely chi ell(G) le (1 o(1)) frac Delta ln frac Delta d 1 as frac Delta d 1 to infty . This bound is tight up to an asymptotic factor 2 , which is the best possible barring a breakthrough in Ramsey theory, and strengthens results due to Vu, and more recently Davies, P., Kang, and Sereni. Our proof relies on the first moment method, and adapts a clever counting argument developed by Rosenfeld in the context of non repetitive colourings. As a final touch, we show that our method provides an asymptotically tight lower bound on the number of colourings of locally sparse graphs.