We give a relation between the sign of the mean of an integer-valued, left bounded, random variable $X$ and the number of zeros of $1-\Phi \left(z\right)$ inside the unit disk, where $\Phi$ is the generating function of $X$, under some mild conditions

We show that, given an n-dimensional normed space X, a sequence of $N={(8/\epsilon )}^{2n}$ independent random vectors ${\left(X_i\right)}_{i=1}^N$, uniformly distributed in the unit ball of X*, with high probability forms an ε-net for this unit ball. Thus the random linear map $\Gamma :ℝ\to {ℝ}^N$ defined by $\Gamma x={(⟨x,X_i⟩)}_{i=1}^N$ embeds X in ${\ell }_{\infty }^N$ with at most 1 + ε norm distortion. In the case X = ℓ₂ⁿ we obtain a random 1+ε-embedding into ${\ell }_{\infty }^N$ with asymptotically best possible relation between N, n, and ε.

We study a continuous time growth process on the $d$-dimensional hypercubic lattice ${𝒵}^d$, which admits a phenomenological interpretation as the combustion reaction $A+B\to 2A$, where $A$ represents heat particles and $B$ inert particles. This process can be described as an interacting particle system in the following way: at time 0 a simple symmetric continuous time random walk of total jump rate one begins to move from the origin of the hypercubic lattice; then, as soon as any random walk visits a site...

We consider a catalytic branching random walk on $\mathbb{Z}$ that branches at the origin only. In the supercritical regime we establish a law of large number for the maximal position $M_n$: For some constant $\alpha$, $\frac{M_n}{n}\to \alpha$ almost surely on the set of infinite number of visits of the origin. Then we determine all possible limiting laws for $M_n-\alpha n$ as $n$ goes to infinity.

Let U₀ be a random vector taking its values in a measurable space and having an unknown distribution P and let U₁,...,Uₙ and $V₁,...,V_m$ be independent, simple random samples from P of size n and m, respectively. Further, let $z₁,...,z_k$ be real-valued functions defined on the same space. Assuming that only the first sample is observed, we find a minimax predictor d⁰(n,U₁,...,Uₙ) of the vector $Y^m={\sum }_{j=1}^m{(z₁\left(V_j\right),...,z_k\left(V_j\right))}^T$ with respect to a quadratic errors loss function.

Observations are made on a point process $𝛯$ in ${ℝ}^d$ in a window $Q_{\lambda }$ of volume $\lambda$. The observation, or ‘score’ at a point $x$, here denoted $\xi (x,𝛯)$, is a function of the points within a random distance of $x$. When the input $𝛯$ is a Poisson or binomial point process, the large $\lambda$ limit theory for the total score ${\sum }_{x\in 𝛯\cap Q_{\lambda }}\xi (x,𝛯\cap Q_{\lambda })$, when properly scaled and centered, is well understood. In this paper we establish general laws of large numbers, variance asymptotics, and central limit theorems for the total score for Gibbsian...

Let $m\ge 3$ be an integer. The so-calledis a discrete time Markov chain which is very popular in theoretical computer science, modelling famous algorithms used in searching and sorting. This random process satisfies a well-known phase transition: when $m\le 26$, the asymptotic behavior of the process is Gaussian, but for $m\ge 27$ it is no longer Gaussian and a limit $W^{DT}$ of a complex-valued martingale arises. In this paper, we consider the multitype branching process which is the continuous time version of...

We consider random walk on a discrete torus $E$ of side-length $N$, in sufficiently high dimension $d$. We investigate the percolative properties of the vacant set corresponding to the collection of sites which have not been visited by the walk up to time $u{N}^d$. We show that when $u$ is chosen small, as $N$ tends to infinity, there is with overwhelming probability a unique connected component in the vacant set which contains segments of length const $logN$. Moreover, this connected component occupies a...

For each n ≥ 1, let $v_{n,k},k\ge 1$ and $u_{n,k},k\ge 1$ be mutually independent sequences of nonnegative random variables and let each of them consist of mutually independent and identically distributed random variables with means v̅ₙ and u̅̅ₙ, respectively. Let $X{ₙ}^B\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(v_{n,j}-v̅ₙ)$, $X{ₙ}^A\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(u_{n,j}-u̅̅ₙ)$, t ≥ 0, and $Xₙ=X{ₙ}^B-X{ₙ}^A$. The main result gives conditions under which the weak convergence $Xₙ\stackrel{}{\to }X$, where X is a Lévy process, implies $X{ₙ}^B\stackrel{}{\to }{X}^B$ and $X{ₙ}^A\stackrel{}{\to }{X}^A$, where $X^B$ and $X^A$ are mutually independent Lévy processes and $X=X^B-X^A$.

Take a centered random walk $S_n$ and consider the sequence of its partial sums $A_n:={\sum }_{i=1}^n{S}_i$. Suppose $S_1$ is in the domain of normal attraction of an $\alpha$-stable law with $1lt;\alpha \le 2$. Assuming that $S_1$ is either right-exponential (i.e. $\mathbb{P}(S_{1}gt;x|S_{1}gt;0)={\mathrm{e}}^{-ax}$ for some $agt;0$ and all $xgt;0$) or right-continuous (skip free), we prove that $$\mathbb{P}\{A_{1}gt;0,\cdots ,A_{N}gt;0\}\sim C_{\alpha }{N}^{1/\left(2\alpha \right)-1/2}$$ as $N\to \infty$, where $C_{\alpha }gt;0$ depends on the distribution of the walk. We also consider a conditional version of this problem and study positivity of integrated discrete bridges.

Let 1 ≤ p < 2 and let $L_p=L_p[0,1]$ be the classical $L_p$-space of all (classes of) p-integrable functions on [0,1]. It is known that a sequence of independent copies of a mean zero random variable $f\in L_p$ spans in $L_p$ a subspace isomorphic to some Orlicz sequence space $l_M$. We give precise connections between M and f and establish conditions under which the distribution of a random variable $f\in L_p$ whose independent copies span $l_M$ in $L_p$ is essentially unique.

Consider a $N\times n$ non-centered matrix ${𝛴}_n$ with a separable variance profile: $${𝛴}_n=\frac{D_n^{1/2}{X}_n{\tilde{D}}_n^{1/2}}{\sqrt{n}}+A_n.$$ Matrices $D_n$ and ${\tilde{D}}_n$ are non-negative deterministic diagonal, while matrix $A_n$ is deterministic, and $X_n$ is a random matrix with complex independent and identically distributed random variables, each with mean zero and variance one. Denote by $Q_n\left(z\right)$ the resolvent associated to ${𝛴}_n{𝛴}_n^{*}$, i.e. $$Q_n\left(z\right)={\left({𝛴}_n{𝛴}_n^{*}-z{I}_N\right)}^{-1}.$$ Given two sequences of deterministic vectors $\left(u_n\right)$ and $\left(v_n\right)$ with bounded Euclidean norms, we study the limiting behavior of the random bilinear form:...

In this paper we establish a decoupling feature of the random interlacement process ${ℐ}^u\subset {\mathbb{Z}}^d$ at level $u$, $d\ge 3$. Roughly speaking, we show that observations of ${ℐ}^u$ restricted to two disjoint subsets $A_1$ and $A_2$ of ${\mathbb{Z}}^d$ are approximately independent, once we add a sprinkling to the process ${ℐ}^u$ by slightly increasing the parameter $u$. Our results differ from previous ones in that we allow the mutual distance between the sets $A_1$ and $A_2$ to be much smaller than their diameters. We then provide an important application...

Suppose that $𝒢$ is a finite, connected graph and $X$ is a lazy random walk on $𝒢$. The lamplighter chain $X^{\diamond }$ associated with $X$ is the random walk on the wreath product ${𝒢}^{\diamond }={𝐙}_2\wr 𝒢$, the graph whose vertices consist of pairs $(\underline{f},x)$ where $f$ is a labeling of the vertices of $𝒢$ by elements of ${𝐙}_2=\{0,1\}$ and $x$ is a vertex in $𝒢$. There is an edge between $(\underline{f},x)$ and $(\underline{g},y)$ in ${𝒢}^{\diamond }$ if and only if $x$ is adjacent to $y$ in $𝒢$ and $f_z=g_z$ for all $z\ne x,y$. In each step, $X^{\diamond }$ moves from a configuration $(\underline{f},x)$ by updating $x$ to $y$ using the transition rule of $X$ and then...

Let (M,d) be a metric space with a fixed origin O. P. Lévy defined Brownian motion X(a); a ∈ M as 0. X(O) = 0. 1. X(a) - X(b) is subject to the Gaussian law of mean 0 and variance d(a,b). He gave an example for $M=S^m$, the m-dimensional sphere. Let $Y\left(B\right);B\in ℬ\left(S^m\right)$ be the Gaussian random measure on $S^m$, that is, 1. Y(B) is a centered Gaussian system, 2. the variance of Y(B) is equal of μ(B), where μ is the uniform measure on $S^m$, 3. if B₁ ∩ B₂ = ∅ then Y(B₁) is independent of Y(B₂). 4. for $B_i$, i = 1,2,..., $B_i\cap B_j=\varnothing$,...

This paper is concerned with the small time behaviour of a Lévy process $X$. In particular, we investigate theof the times, ${\overline{T}}_b\left(r\right)$ and $T_b^{*}\left(r\right)$, at which $X$, started with $X_0=0$, first leaves the space-time regions $\{(t,y)\in {ℝ}^2:y\le r{t}^b,t\ge 0\}$ (one-sided exit), or $\{(t,y)\in {ℝ}^2:|y|\le r{t}^b,t\ge 0\}$ (two-sided exit), $0\le blt;1$, as $r\downarrow 0$. Thus essentially we determine whether or not these passage times behave like deterministic functions in the sense of different modes of convergence; specifically convergence in probability, almost surely and in $L^p$. In many instances these are...

Let 1 ≤ p < ∞, $={\left(Xₙ\right)}_{n\in \mathbb{N}}$ be a sequence of Banach spaces and $l_p\left(\right)$ the coresponding vector valued sequence space. Let $={\left(Xₙ\right)}_{n\in \mathbb{N}}$, $={\left(Yₙ\right)}_{n\in \mathbb{N}}$ be two sequences of Banach spaces, $={\left(Vₙ\right)}_{n\in \mathbb{N}}$, Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{}:l_p\left(\right)\to l_q\left(\right)$ by $M_{}\left({\left(xₙ\right)}_{n\in \mathbb{N}}\right):={\left(Vₙ\left(xₙ\right)\right)}_{n\in \mathbb{N}}$. We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

We consider iterated function systems on the interval with random perturbation. Let $Y_{\epsilon }$ be uniformly distributed in [1-ε,1+ ε] and let $f_i\in C^{1+\alpha }$ be contractions with fixpoints $a_i$. We consider the iterated function system $Y_{\epsilon }{f}_i+a_i(1-Y_{\epsilon }){ⁿ}_{i=1}$, where each of the maps is chosen with probability $p_i$. It is shown that the invariant density is in L² and its L² norm does not grow faster than 1/√ε as ε vanishes. The proof relies on defining a piecewise hyperbolic dynamical system on the cube with an SRB-measure whose projection...

Let $S_n^{\left(2\right)}$ denote the iterated partial sums. That is, $S_n^{\left(2\right)}=S_1+S_2+\cdots +S_n$, where $S_i=X_1+X_2+\cdots +X_i$. Assuming $X_1,X_2,...,X_n$ are integrable, zero-mean, i.i.d. random variables, we show that the persistence probabilities $$p_n^{\left(2\right)}:=\mathbb{P}\left(\underset{1\le i\le n}{max}{S}_i^{\left(2\right)}lt;0\right)\le c\sqrt{\frac{𝔼|S_{n+1}|}{(n+1)𝔼|X_1|}},$$ with $c\le 6\sqrt{30}$ (and $c=2$ whenever $X_1$ is symmetric). The converse inequality holds whenever the non-zero $min(-X_1,0)$ is bounded or when it has only finite third moment and in addition $X_1$ is squared integrable. Furthermore, $p_n^{\left(2\right)}\asymp n^{-1/4}$ for any non-degenerate squared integrable, i.i.d., zero-mean $X_i$. In contrast, we show that for any $0lt;\gamma lt;1/4$ there exist integrable,...

Let $X$ be a Banach space, $ℬ\left(X\right)$ the algebra of bounded linear operators on $X$ and $(J,\parallel ·{\parallel }_J)$ an admissible Banach ideal of $ℬ\left(X\right)$. For $T\in ℬ\left(X\right)$, let $L_{J,T}$ and $R_{J,T}\in ℬ\left(J\right)$ denote the left and right multiplication defined by $L_{J,T}\left(A\right)=TA$ and $R_{J,T}\left(A\right)=AT$, respectively. In this paper, we study the transmission of some concepts related to recurrent operators between $T\in ℬ\left(X\right)$, and their elementary operators $L_{J,T}$ and $R_{J,T}$. In particular, we give necessary and sufficient conditions for $L_{J,T}$ and $R_{J,T}$ to be sequentially recurrent. Furthermore, we prove that $L_{J,T}$ is recurrent...

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...