Related papers: Long-range exclusion processes, generator and inva…

Topological measures and deficient topological measures generalize Borel measures and correspond to certain non-linear functionals. We study integration with respect to deficient topological measures on locally compact spaces. Such an…

We consider a finite range symmetric exclusion process on the integer lattice in any dimension. We interpret it as a non-elliptic time-dependent random conductance model by setting conductances equal to one over the edges with end points…

Generating functions for asymmetric step-size paths restricted by two absorbing barriers are derived. The method begins by applying the Lagrange inversion formula to arbitrary powers of roots of the characteristic equation, that being a…

In many biological systems, motile agents exhibit random motion with short-term directional persistence, together with crowding effects arising from spatial exclusion. We formulate and study a class of lattice-based models for multiple…

We add to the literature the following observation. If $\mu$ is a singular measure on $\mathbb{R}^n$ which assigns measure zero to every porous set and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lipschitz function which is…

Let $\mu$ be a self-affine measure on $\mathbb{R}^{d}$ associated to a self-affine IFS $\{\varphi_{\lambda}(x) = A_{\lambda}x + v_{\lambda}\}_{\lambda\in\Lambda}$ and a probability vector $p=(p_{\lambda})_{\lambda}>0$. Assume the strong…

For regime-switching diffusions processes with singular drifts, we introduce integrability conditions involving a nice reference probability measure and the $Q$-matrix of the jump part to study the existence of the invariant probability…

We consider families of geometries of D--dimensional space, described by a finite number of parameters. Starting from the De Witt metric we extract a unique integration measure which turns out to be a geometric invariant, i.e. independent…

We consider a sequence of processes defined on half-line for all non negative t. We give sufficient conditions for Large Deviation Principle (LDP) to hold in the space of continuous functions with a new metric that is more sensitive to…

For any continuous probability measure $\mu$ on ${\mathbb R}$ we construct an IFS with probabilities having $\mu$ as its unique measure-attractor.

Loop invariants are fundamental to reasoning about programs with loops. They establish properties about a given loop's behavior. When they additionally are inductive, they become useful for the task of formal verification that seeks to…

The paper deals with a certain class of random evolutions. We develop a construction that yields an invariant measure for a continuous-time Markov process with random transitions. The approach is based on a particular way of constructing…

In this manuscript, we consider the Langevin dynamics on $\mathbb{R}^d$ with an overdamped vector field and driven by multiplicative Brownian noise of small amplitude $\sqrt{\epsilon}$, $\epsilon>0$. Under suitable assumptions on the vector…

We study the decay of convolution powers of a large family $\mu_{S,a}$ of measures on finitely generated nilpotent groups. Here, $S=(s_1,...,s_k)$ is a generating $k$-tuple of group elements and $a= (\alpha_1,...,\alpha_k)$ is a $k$-tuple…

We present some rigorous results on the absence of a wide class of invariant measures for dynamical systems possessing attractors. We then consider a generalization of the classical nonholonomic Suslov problem which shows how previous…

Loop-weighted walk with parameter $\lambda\geq 0$ is a non-Markovian model of random walks that is related to the loop $O(N)$ model of statistical mechanics. A walk receives weight $\lambda^{k}$ if it contains $k$ loops; whether this is a…

The long-term distributions of trajectories of a flow are described by invariant densities, i.e. fixed points of an associated transfer operator. In addition, global slowly mixing structures, such as almost-invariant sets, which partition…

A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb{R}^d$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the…

For $\alpha\geq 1$, let $g:\mathbb N\to\mathbb R_+$ be given by $g(0)=0$, $g(1)=1$, $g(k)=(k/k-1)^\alpha$, $k\geq 2$. Consider the symmetric nearest neighbour zero range process on the discrete torus $\mathbb T_L$ in which a particle jumps…

We describe a system to prove properties of programs. The key feature of this approach is a method to automatically synthesize inductive invariants of the loops contained in the program. The method is generic, i.e., it applies to a large…