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.

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...

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$,...

The authors first establish the Marcinkiewicz-Zygmund inequalities with exponent $p$ ($1\le p\le 2$) for $m$-pairwise negatively quadrant dependent ($m$-PNQD) random variables. By means of the inequalities, the authors obtain some limit theorems for arrays of rowwise $m$-PNQD random variables, which extend and improve the corresponding results in [Y. Meng and Z. Lin (2009)] and [H. S. Sung (2013)]. It is worthy to point out that the open problem of [H. S. Sung, S. Lisawadi, and A. Volodin (2008)] can be...

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...

In this paper, we study the size of the giant component $C_G$ in the random geometric graph $G=G(n,r_n,f)$ of $n$ nodes independently distributed each according to a certain density $f(·)$ in ${[0,1]}^2$ satisfying ${inf}_{x\in {[0,1]}^2}f\left(x\right)gt;$ $0$. If $\frac{c_1}{n}\le r_n^2\le c_2\frac{logn}{n}$ for some positive constants $c_1$, $c_2$ and $n{r}_n^2⟶\infty$ as $n\to \infty$, we show that the giant component of $G$ contains at least $n-\mathrm{o}\left(n\right)$ nodes with probability at least $1-{\mathrm{e}}^{-\beta n{r}_n^2}$ for all $n$ and for some positive constant $\beta$. We also obtain estimates on the diameter and number of the non-giant components of $G$.

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...

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...

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 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.

Let Ω be a countable infinite product $\Omega {₁}^{\mathbb{N}}$ of copies of the same probability space Ω₁, and let Ξₙ be the sequence of the coordinate projection functions from Ω to Ω₁. Let Ψ be a possibly nonmeasurable function from Ω₁ to ℝ, and let Xₙ(ω) = Ψ(Ξₙ(ω)). Then we can think of Xₙ as a sequence of independent but possibly nonmeasurable random variables on Ω. Let Sₙ = X₁ + ⋯ + Xₙ. By the ordinary Strong Law of Large Numbers, we almost surely have $E_{*}\left[X₁\right]\le liminfSₙ/n\le limsupSₙ/n\le E*\left[X₁\right]$, where $E_{*}$ and E* are the lower and upper expectations....

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

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$.

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:...

We prove the central limit theorem for the multisequence ${\sum }_{1\le n₁\le N₁}\cdots {\sum }_{1\le n_d\le N_d}{a}_{n₁,...,n_d}cos(⟨2\pi m,A{₁}^{n₁}...A_d^{n_d}x⟩)$ where $m\in {\mathbb{Z}}^s$, $a_{n₁,...,n_d}$ are reals, $A₁,...,A_d$ are partially hyperbolic commuting s × s matrices, and x is a uniformly distributed random variable in ${[0,1]}^s$. The main tool is the S-unit theorem.

For a given positive random variable $V>0$ and a given $Z\sim N(0,1)$ independent of $V$, we compute the scalar $t_0$ such that the distance in the $L^2\left(ℝ\right)$ sense between $Z{V}^{1/2}$ and $Z\sqrt{t_0}$ is minimal. We also consider the same problem in several dimensions when $V$ is a random positive definite matrix.

If the space $𝒬$ of quadratic forms in ${ℝ}^n$ is splitted in a direct sum ${𝒬}_1\oplus ...\oplus {𝒬}_k$ and if $X$ and $Y$ are independent random variables of ${ℝ}^n$, assume that there exist a real number $a$ such that $E\left(X\right|X+Y)=a(X+Y)$ and real distinct numbers $b_1,...,b_k$ such that $E\left(q\left(X\right)\right|X+Y)=b_{i}q(X+Y)$ for any $q$ in ${𝒬}_i.$ We prove that this happens only when $k=2$, when ${ℝ}^n$ can be structured in a Euclidean Jordan algebra and when $X$ and $Y$ have Wishart distributions corresponding to this structure.

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

Given any compact manifold $M$, we construct a non-empty open subset $𝒪$ of the space ${\mathrm{Diff}}^1\left(M\right)$ of $C^1$-diffeomorphisms and a dense subset $𝒟\subset 𝒪$ such that the centralizer of every diffeomorphism in $𝒟$ is uncountable, hence non-trivial.

We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer $k\ge 2$ and every set $A$ of words over $k$ satisfying $\lim {\sup }_{n\to \infty }|A\cap {\left[k\right]}^n|/k^n>0$ there exist a word $c$ over $k$ and a sequence $\left(w_n\right)$ of left variable words over $k$ such that the set $c\cup \{c^{}{w}_0{\left(a_0\right)}^{}..{.}^{}{w}_n\left(a_n\right):n\in \mathbb{N}\text{and}{a}_0,...,a_n\in \left[k\right]\}$ is contained in $A$. While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.

Acute triangles are defined by having all angles less than $\pi /2$, and are characterized as the triangles containing their circumcenter in the interior. For simplices of dimension $n\ge 3$, acuteness is defined by demanding that all dihedral angles between $(n-1)$-dimensional faces are smaller than $\pi /2$. However, there are, in a practical sense, too few acute simplices in general. This is unfortunate, since the acuteness property provides good qualitative features for finite element methods. The property...