We consider the spatial Lambda-Fleming-Viot process model for frequencies of genetic types in a population living in R^d, with two types of individuals (0 and 1) and natural selection favouring individuals of type 1. We first prove that the model is well-defined and provide a measure-valued dual process encoding the locations of the `potential ancestors' of a sample taken from such a population. We then consider two cases, one in which the dynamics of the process are driven by events of bounded radii and one incorporating large-scale events whose radii have a polynomial tail distribution. In both cases, we consider a sequence of spatial Lambda-Fleming-Viot processes indexed by n, and we assume that the fraction of individuals replaced during a reproduction event and the relative frequency of events during which natural selection acts tend to 0 as n tends to infinity. We choose the decay of these parameters in such a way that when reproduction is only local, the measure-valued process describing the local frequencies of the less favoured type converges in distribution to a (measure-valued) solution to the stochastic Fisher-KPP equation in one dimension, and to a (measure-valued) solution to the deterministic Fisher-KPP equation in more than one dimension. When large-scale extinction-recolonisation events occur, the sequence of processes converges instead to the solution to the analogous equation in which the Laplacian is replaced by a fractional Laplacian. We also consider the process of `potential ancestors' of a sample of individuals taken from these populations, which we see as a system of branching and coalescing symmetric jump processes. We show their convergence in distribution towards a system of Brownian or stable motions which branch at some finite rate. In one dimension, in the limit, pairs of particles also coalesce at a rate proportional to their collision local time.

We study Ollivier-Ricci curvature, a discrete version of Ricci curvature, which has gained popularity over the past several years and has found applications in diverse fields. However, the Ollivier-Ricci curvature requires an optimal mass transport problem to be solved, which can be computationally expensive for large networks. In view of this, we propose two alternative measures of curvature to Ollivier-Ricci which are motivated by the Jaccard coefficient and are demonstrably less computationally intensive, a cheaper Jaccard (JC) and a more expensive generalized Jaccard (gJC) curvature metric. We show theoretically that the gJC closely matches the Ollivier-Ricci curvature for Erdos-Renyi graphs in the asymptotic regime of large networks. Furthermore, we study the goodness of approximation between the proposed curvature metrics and Ollivier-Ricci curvature for several network models and real networks. Our results suggest that in comparison to an alternative curvature metric for graphs, the Forman-Ricci curvature, the gJC exhibits a reasonably good fit to the Ollivier-Ricci curvature for a wide range of networks, while the JC is shown to be a good proxy only for certain scenarios.

With the rapid growth of social media, massive misinformation is also spreading widely on social media, such as microblog, and bring negative effects to human life. Nowadays, automatic misinformation identification has drawn attention from academic and industrial communities. For an event on social media usually consists of multiple microblogs, current methods are mainly based on global statistical features. However, information on social media is full of noisy and outliers, which should be alleviated. Moreover, most of microblogs about an event have little contribution to the identification of misinformation, where useful information can be easily overwhelmed by useless information. Thus, it is important to mine significant microblogs for a reliable misinformation identification method. In this paper, we propose an Attention-based approach for Identification of Misinformation (AIM). Based on the attention mechanism, AIM can select microblogs with largest attention values for misinformation identification. The attention mechanism in AIM contains two parts: content attention and dynamic attention. Content attention is calculated based textual features of each microblog. Dynamic attention is related to the time interval between the posting time of a microblog and the beginning of the event. To evaluate AIM, we conduct a series of experiments on the Weibo dataset and the Twitter dataset, and the experimental results show that the proposed AIM model outperforms the state-of-the-art methods.

In this paper, we propose a concurrency control protocol, called the Prudent-Precedence Concurrency Control (PPCC) protocol, for high data contention database environments. PPCC is prudently more aggressive in permitting more serializable schedules than two-phase locking. It maintains a restricted precedence among conflicting transactions and commits the transactions according to the serialization order established in the executions. A detailed simulation model has been constructed and extensive experiments have been conducted to evaluate the performance of the proposed approach. The results demonstrate that the proposed algorithm outperforms the two-phase locking and optimistic concurrency control in all ranges of system workload.

This paper concerns pattern formation in a class of reaction-advection-diffusion systems modeling the population dynamics of two predators and one prey. We consider the biological situation that both predators forage along the population density gradient of the preys which can defend themselves as a group. We prove the global existence and uniform boundedness of positive classical solutions for the fully parabolic system over a bounded domain with space dimension $N=1,2$ and for the parabolic- -parabolic-elliptic system over higher space dimensions. Linearized stability analysis shows that prey-taxis stabilizes the positive constant equilibrium if there is no group defense while it destabilizes the equilibrium otherwise. Then we obtain stationary and time-periodic nontrivial solutions of the system that bifurcate from the positive constant equilibrium. Moreover, the stability of these solutions is also analyzed in detail which provides a wave mode selection mechanism of nontrivial patterns for this strongly coupled system. Finally, we perform numerical simulations to illustrate and support our theoretical results.

With the rapid growth of social media, rumors are also spreading widely on social media and bring harm to people's daily life. Nowadays, information credibility evaluation has drawn attention from academic and industrial communities. Current methods mainly focus on feature engineering and achieve some success. However, feature engineering based methods require a lot of labor and cannot fully reveal the underlying relations among data. In our viewpoint, the key elements of user behaviors for evaluating credibility are concluded as "who", "what", "when", and "how". These existing methods cannot model the correlation among different key elements during the spreading of microblogs. In this paper, we propose a novel representation learning method, Information Credibility Evaluation (ICE), to learn representations of information credibility on social media. In ICE, latent representations are learnt for modeling user credibility, behavior types, temporal properties, and comment attitudes. The aggregation of these factors in the microblog spreading process yields the representation of a user's behavior, and the aggregation of these dynamic representations generates the credibility representation of an event spreading on social media. Moreover, a pairwise learning method is applied to maximize the credibility difference between rumors and non-rumors. To evaluate the performance of ICE, we conduct experiments on a Sina Weibo data set, and the experimental results show that our ICE model outperforms the state-of-the-art methods.

This paper investigates the global well-posedness of a class of reaction-advection-diffusion models with nonlinear diffusion and Lotka-Volterra dynamics. We prove the existence and uniform boundedness of the global-in-time solutions to the fully parabolic systems under certain growth conditions on the diffusion and sensitivity functions. Global existence and uniform boundedness of the corresponding parabolic-elliptic system are also obtained. Our results suggest that attraction (positive taxis) inhibits blowups in Lotka-Volterra competition systems.

We consider a birth and death process in which death is due to both `natural death' and to competition between individuals, modelled as a quadratic function of population size. The resulting `logistic branching process' has been proposed as a model for numbers of individuals in populations competing for some resource, or for numbers of species. However, because of the quadratic death rate, even if the intrinsic growth rate is positive, the population will, with probability one, die out in finite time. There is considerable interest in understanding the process conditioned on non-extinction. In this paper, we exploit a connection with the ancestral selection graph of population genetics to find expressions for the transition rates in the logistic branching process conditioned on survival until some fixed time $T$, in terms of the distribution of a certain one-dimensional diffusion process at time $T$. We also find the probability generating function of the Yaglom distribution of the process and rather explicit expressions for the transition rates for the so-called Q-process, that is the logistic branching process conditioned to stay alive into the indefinite future. For this process, one can write down the joint generator of the (time-reversed) total population size and what in population genetics would be called the `genealogy' and in phylogenetics would be called the `reconstructed tree' of a sample from the population. We explore some ramifications of these calculations numerically.

In source routing, a complete path is chosen for a packet to travel from source to destination. While computing the time to traverse such a path may be straightforward in a fixed, static graph, doing so becomes much more challenging in dynamic graphs, in which the state of an edge in one time slot (i.e., its presence or absence) is random, and may depend on its state in the previous time step. The traversal time is due to both time spent waiting for edges to appear and time spent crossing them once they become available. We compute the expected traversal time (ETT) for a dynamic path in a number of special cases of stochastic edge dynamics models, and for three edge failure models, culminating in a surprisingly challenging yet realistic setting in which the initial configuration of edge states for the entire path is known. We show that the ETT for this "initial configuration" setting can be computed in quadratic time, by an algorithm based on probability generating functions. We also give several linear-time upper and lower bounds on the ETT.

We consider the accumulation of beneficial and deleterious mutations in large asexual populations. The rate of adaptation is affected by the total mutation rate, proportion of beneficial mutations and population size $N$. We show that regardless of mutation rates, as long as the proportion of beneficial mutations is strictly positive, the adaptation rate is at least $\mathcal{O}(\log^{1-\delta}N)$ where $\delta$ can be any small positive number, if the population size is sufficiently large. This shows that if the genome is modeled as continuous, there is no limit to natural selection, that is, the rate of adaptation grows in $N$ without bound.

We consider a biological population in which a beneficial mutation is undergoing a selective sweep when a second beneficial mutation arises at a linked locus and we investigate the probability that both mutations will eventually fix in the population. Previous work has dealt with the case where the second mutation to arise confers a smaller benefit than the first. In that case population size plays almost no role. Here we consider the opposite case and observe that, by contrast, the probability of both mutations fixing can be heavily dependent on population size. Indeed the key parameter is $\rho N$, the product of the population size and the recombination rate between the two selected loci. If $\rho N$ is small, the probability that both mutations fix can be reduced through interference to almost zero while for large $\rho N$ the mutations barely influence one another. The main rigorous result is a method for calculating the fixation probability of a double mutant in the large population limit.

We study dioecious (i.e., two-sex) branching particle system models, where there are two types of particles, modeling the male and female populations, and where birth of new particles requires the presence of both male and female particles. We show that stationary distributions of various dioecious branching particle models are nontrivial under certain conditions, for example, when there is sufficiently fast stirring.

This paper deals with a model of sympatric speciation, that is, speciation in the absence of geographical separation, originally proposed by U. Dieckmann and M. Doebeli in 1999. We modify their original model to obtain a Fleming--Viot type model and study its stationary distribution. We show that speciation may occur, that is, the stationary distribution puts most of the mass on a configuration that does not concentrate on the phenotype with maximum carrying capacity, if competition between phenotypes is intense enough. Conversely, if competition between phenotypes is not intense, then speciation will not occur and most of the population will have the phenotype with the highest carrying capacity. The length of time it takes speciation to occur also has a delicate dependence on the mutation parameter, and the exact shape of the carrying capacity function and the competition kernel.

This work deals with two problems arising in mathematical ecology. The first problem is concerned with diploid branching particle models and its behavior when rapid stirring is added to the interaction. The particle models involve two types of particles, male and female, and branching can only occur when both types of particles are present. We show that if the branching rate is sufficiently large, this particle model has a nontrivial stationary distribution, i.e. one that does not concentrate all weight on the all-0 state, using a comparison argument due to R. Durrett. We also show extinction for small branching rates, thereby establishing the existence of a phase transition. We then add two different rapid stirring mechanisms to the interactions and show that for the particle models with rapid stirring, there also exist nontrivial stationary distribution(s); for this, we analyze the limiting PDE and establish a condition on the PDE that guarantees existence of nontrivial stationary distributions for sufficient fast stirring. The second problem deals with a model of sympatric speciation, i.e. speciation in the absence of geographical separation, originally proposed by U. Dieckmann and M. Doebeli in 1999. We modify their original model to obtain several constant-population particle models. We concentrate on a continuous-time model that converges to a deterministic dynamical system as the number of particles becomes large. We establish various results regarding whether speciation occurs by studying the existence of bimodal stationary distributions for the limiting dynamical system.

An infinite number of free field realizations of the universal nonlinear $\hat{W}_{\infty}^{(N)}$ ($\hat{W}_{1+\infty}^{(N)}$) algebras, which are identical to the KP Hamiltonian structures, are obtained in terms of $p$ plus $q$ scalars of different signatures with $p-q=N$. They are generalizations of the Miura transformation, and naturally give rise to the modified KP hierarchies via corresponding realizations of the latter. Their characteristic Lie-algebraic origin is shown to be the graded $SL(p,q)$.

A $D>2$ topological string is presented by coupling the $2d$ topological gravity with the twisted version of the $N=2$ superconformal matter with $c=3k/(k-2)$. The latter is shown to admit $k+1$ chiral primary fields from the $SL(2,R)_{k}/U(1)$ unitary irreducible representations. The analysis of topological contact interactions along with the consistency requirement lead to recursion relations of correlation functions, that are convertable to the Virasoro constraints on the perturbed partition function. It is further expected to satisfy the nonlinear $\hat{W}^{(k-2)}_{\infty}$ constraints associated with the graded algebra $SL(k,2)$, and thus the model is completely solvable at arbitrary genus of the surface.

We give a unified description of our recent results on the the inter-relationship between the integrable infinite KP hierarchy, nonlinear $\hat{W}_{\infty}$ current algebra and conformal noncompact $SL(2,R)/U(1)$ coset model both at the classical and quantum levels. In particular, we present the construction of a quantum version of the KP hierarchy by deforming the second KP Hamiltonian structure through quantizing the $SL(2,R)_k/U(1)$ model and constructing an infinite set of commuting quantum $\hat{W}_{\infty}$ charges (at least at $k$=1).

In this paper we study the inter-relationship between the integrable KP hierarchy, nonlinear $\hat{W}_{\infty}$ algebra and conformal noncompact $SL(2,R)/U(1)$ coset model at the classical level. We first derive explicitly the Possion brackets of the second Hamiltonian structure of the KP hierarchy, then use it to define the $\hat{W}_{1+\infty}$ algebra and its reduction $\hat{W}_{\infty}$. Then we show that the latter is realized in the $SL(2,R)/U(1)$ coset model as a hidden current algebra, through a free field realization of $\hat{W}_{\infty}$, in closed form for all higher-spin currents, in terms of two bosons. An immediate consequence is the existence of an infinite number of KP flows in the coset model, which preserve the $\hat{W}_{\infty}$ current algebra.

This paper is devoted to constructing a quantum version of the famous KP hierarchy, by deforming its second Hamiltonian structure, namely the nonlinear $\hat{W}_{\infty}$ algebra. This is achieved by quantizing the conformal noncompact $SL(2,R)_{k}/U(1)$ coset model, in which $\hat{W}_{\infty}$ appears as a hidden current algebra. For the quantum $\hat{W}_{\infty}$ algebra at level $k=1$, we have succeeded in constructing an infinite set of commuting quantum charges in explicit and closed form. Using them a completely integrable quantum KP hierarchy is constructed in the Hamiltonian form. A two boson realization of the quantum $\hat{W}_{\infty}$ currents has played a crucial role in this exploration.

The conformal non-compact $SL(2,R)/U(1)$ coset model in two dimensions has been recently shown to embody a nonlinear $\hat{W}_\infty$ current algebra, consisting of currents of spin $\geq 2$ including the energy-momentum tensor. In this letter we explicitly construct an infinite set of commuting quantum $\hat{W}_\infty$ charges in the model with $k=1$. These commuting quantum charges generate a set of infinitely many compatible flows (quantum KP flows), which maintain the nonlinear $\hat{W}_\infty$ current algebra invariant.

Previously we have established that the second Hamiltonian structure of the KP hierarchy is a nonlinear deformation, called $\hat{W}_{\infty}$, of the linear, centerless $W_{\infty}$ algebra. In this letter we present a free-field realization for all generators of $\hat{W}_{\infty}$ in terms of two scalars as well as an elegant generating function for the $\hat{W}_{\infty}$ currents in the classical conformal $SL(2,R)/U(1)$ coset model. After quantization, a quantum deformation of $\hat{W}_{\infty}$ appears as the hidden current algebra in this model. The $\hat{W}_{\infty}$ current algebra results in an infinite set of commuting conserved charges, which might give rise to $W$-hair for the 2d black hole arising in the corresponding string theory at level $k=9/4$.

We obtain the bi-Hamiltonian structure of the super KP hierarchy based on the even super KP operator $\Lambda = \theta^{2} + \sum^{\infty}_{i=-2}U_{i} \theta^{-i-1}$, as a supersymmetric extension of the ordinary KP bi-Hamiltonian structure. It is expected to give rise to a universal super $W$-algebra incorporating all known extended superconformal $W_{N}$ algebras by reduction. We also construct the super BKP hierarchy by imposing a set of anti-self-dual constraints on the super KP hierarchy.