Related papers: Positive Markov processes in Laplace duality

In this paper pseudo-differential operators with negative definite symbols are used to construct time- and space-inhomogeneous Markov processes. This is achieved by using the Markov evolution system associated with the fundamental solution…

We consider the following quasi-linear parabolic system of backward partial differential equations on a Banach space $E$: $(\partial_t+L)u+f(\cdot,\cdot,u, A^{1/2}\nabla u)=0$ on $[0,T]\times E,\qquad u_T=\phi$, where $L$ is a possibly…

Many algorithms in verification and automated reasoning leverage some form of duality between proofs and refutations or counterexamples. In most cases, duality is only used as an intuition that helps in understanding the algorithms and is…

We have studied Markov processes on denumerable state space and continuous time. We found that all these processes are connected via gauge transformations. We have used this result before as a method for resolution of equations, included…

We develop criteria for recurrence and transience of one-dimensional Markov processes which have jumps and oscillate between $+\infty$ and $-\infty$. The conditions are based on a Markov chain which only consists of jumps (overshoots) of…

Determinantal point processes (DPPs) are probabilistic models for repulsion. When used to represent the occurrence of random subsets of a finite base set, DPPs allow to model global negative associations in a mathematically elegant and…

The classical Liouville property says that all bounded harmonic functions in $\mathbb{R}^n$, i.e.\ all bounded functions satisfying $\Delta f = 0$, are constant. In this paper we obtain necessary and sufficient conditions on the symbol of a…

We provide a full realization of the electromagnetic duality at the boundary by extending the phase space of Maxwell's theory through the introduction of edge modes and their conjugate momenta. We show how such extension, which follows from…

The nonlinear Markov processes are the measure-valued dynamical systems which preserve positivity. They can be represented as the law of large numbers limits of general Markov models of interacting particles. In physics, the kinetic…

We establish a general sufficient condition for a sequence of Galton Watson branching processes in varying environment to converge weakly. This condition extends previous results by allowing offspring distributions to have infinite…

We consider two particles performing continuous-time nearest neighbor random walk on $\mathbb Z$ and interacting with each other when they are at neighboring positions. Typical examples are two particles in the partial exclusion process or…

We study the stirring process with $N-1$ species on a generic graph $G=(V,\mathcal{E})$ with reservoirs. The multispecies stirring process generalizes the symmetric exclusion process, which is recovered in the case $N=2$. We prove the…

Let $A$ be a pseudo-differential operator with symbol $q(x,\xi)$. In this paper we derive sufficient conditions which ensure the existence of a solution to the $(A,C_c^{\infty}(\mathbb{R}^d))$-martingale problem. If the symbol $q$ depends…

This short note gives a sufficient condition for having the class of polynomials dense in the space of square integrable functions with respect to a finite measure dominated by the Lebesgue measure in the real line, here denoted by $L^2$.…

We consider time-inhomogeneous ODEs whose parameters are governed by an underlying ergodic Markov process. When this underlying process is accelerated by a factor $\varepsilon^{-1}$, an averaging phenomenon occurs and the solution of the…

Lattice birth-and-death Markov dynamics of particle systems with spins from the set of non-negative integers are constructed as unique solutions to certain stochastic equations. Pathwise uniqueness, strong existence, Markov property and…

In contrast to their seemingly simple and shared structure of independence and stationarity, L\'evy processes exhibit a wide variety of behaviors, from the self-similar Wiener process to piecewise-constant compound Poisson processes.…

In this article, we study some parallel processing algorithms for multiplication and modulo operations. We demonstrate that the state transitions that are formed under these algorithms satisfy lattice-linearity, where these algorithms…

The symbiotic branching model is a spatial population model describing the dynamics of two interacting types that can only branch if both types are present. A classical result for the underlying stochastic partial differential equation…

Transition probabilities for stochastic systems can be expressed in terms of a functional integral over paths taken by the system. Evaluating the integral by the saddle point method in the weak-noise limit leads to a remarkable mapping…