A notion of a wide-sense Markov process $X_t$ of order k ≥ 1, $X_t\sim WM\left(k\right)$, is introduced as a direct generalization of Doob’s notion of wide-sense Markov process (of order k=1 in our terminology). A base for investigation of the covariance structure of $X_t$ is the k-dimensional process $x_t=(X_{t-k+1},...,X_t)$. The covariance structure of $X_t\sim WM\left(k\right)$ is considered in the general case and in the periodic case. In the general case it is shown that $X_t\sim WM\left(k\right)$ iff $x_t$ is a k-dimensional WM(1) process and iff the covariance function of $x_t$ has the triangular...

Let $X$ be a $\mu$-symmetric Hunt process on a LCCB space $𝙴$. For an open set $𝙶\subseteq 𝙴$, let ${\tau }_{𝙶}$ be the exit time of $X$ from $𝙶$ and $A^{𝙶}$ be the generator of the process killed when it leaves $𝙶$. Let $r:[0,\infty [\to [0,\infty [$ and $R\left(t\right)={\int }_0^{t}r\left(s\right)\mathrm{d}s$. We give necessary and sufficient conditions for ${𝔼}_{\mu }R\left({\tau }_{𝙶}\right)lt;\infty$ in terms of the behavior near the origin of the spectral measure of $-A^{𝙶}$. When $r\left(t\right)=t^l$, $l\ge 0$, by means of this condition we derive the Nash inequality for the killed process. In the diffusion case this permits to show that the existence of moments of order $l+1$ for ${\tau }_{𝙶}$...

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 E be a compact set in the complex plane, $g_E$ be the Green function of the unbounded component of ${ℂ}_{\infty }\setminus E$ with pole at infinity and $Mₙ\left(E\right)=sup\left(\right||P^{\text{'}}{\left|\right|}_E{)/(\left|\right|P\left|\right|}_E)$ where the supremum is taken over all polynomials ${P|}_E\not\equiv 0$ of degree at most n, and ${\left|\right|f\left|\right|}_E=sup\left|f\right(z\left)\right|:z\in E$. The paper deals with recent results concerning a connection between the smoothness of $g_E$ (existence, continuity, Hölder or Lipschitz continuity) and the growth of the sequence ${Mₙ\left(E\right)}_{n=1,2,...}$. Some additional conditions are given for special classes of sets.

We consider evaluating improper priors in a formal Bayes setting according to the consequences of their use. Let $𝛷$ be a class of functions on the parameter space and consider estimating elements of $𝛷$ under quadratic loss. If the formal Bayes estimator of every function in $𝛷$ is admissible, then the prior is strongly admissible with respect to $𝛷$. Eaton’s method for establishing strong admissibility is based on studying the stability properties of a particular Markov chain associated with...

Let Ω be an open subset of ${ℝ}^d$ with 0 ∈ Ω. Furthermore, let $H_{\Omega }=-{\sum }_{i,j=1}^d{\partial }_i{c}_{ij}{\partial }_j$ be a second-order partial differential operator with domain $C_c^{\infty }\left(\Omega \right)$ where the coefficients $c_{ij}\in W_{loc}^{1,\infty }\left(\Omega ̅\right)$ are real, $c_{ij}=c_{ji}$ and the coefficient matrix $C=\left(c_{ij}\right)$ satisfies bounds 0 < C(x) ≤ c(|x|)I for all x ∈ Ω. If ${\int }_0^{\infty }ds{s}^{d/2}{e}^{-\lambda \mu \left(s\right)²}<\infty$ for some λ > 0 where $\mu \left(s\right)={\int }_0^{s}dtc{\left(t\right)}^{-1/2}$ then we establish that $H_{\Omega }$ is L₁-unique, i.e. it has a unique L₁-extension which generates a continuous semigroup, if and only if it is Markov unique, i.e. it has a unique L₂-extension which generates a submarkovian semigroup....

Given a topological space $X$, let $𝒰X$ and ${\eta }_X:X\to 𝒰X$ denote, respectively, the Salbany compactification of $X$ and the compactification map called the Salbany map of $X$. For every continuous function $f:X\to Y$, there is a continuous function $𝒰f:𝒰X\to 𝒰Y$, called the Salbany lift of $f$, satisfying $\left(𝒰f\right)\circ {\eta }_X={\eta }_Y\circ f$. If a continuous function $f:X\to Y$ has a stably compact codomain $Y$, then there is a Salbany extension $F:𝒰X\to Y$ of $f$, not necessarily unique, such that $F\circ {\eta }_X=f$. In this paper, we give a condition on a space such that its Salbany map is open. In...

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

A linear Boltzmann equation is interpreted as the forward equation for the probability density of a Markov process $\left(K\right(t),i(t),Y(t\left)\right)$ on $({𝕋}^2\times \{1,2\}\times {ℝ}^2)$, where ${𝕋}^2$ is the two-dimensional torus. Here $\left(K\right(t),i(t\left)\right)$ is an autonomous reversible jump process, with waiting times between two jumps with finite expectation value but infinite variance. $Y\left(t\right)$ is an additive functional of $K$, defined as ${\int }_0^{t}v\left(K\left(s\right)\right)\mathrm{d}s$, where $\left|v\right|\sim 1$ for small $k$. We prove that the rescaled process ${(NlnN)}^{-1/2}Y\left(Nt\right)$ converges in distribution to a two-dimensional Brownian motion. As a consequence,...

Let $\beta >1$ be a non-integer. We consider expansions of the form ${\sum }_{i=1}^{\infty }{d}_i/{\beta }^i$, where the digits ${\left(d_i\right)}_{i\ge 1}$ are generated by means of a Borel map $K_{\beta }$ defined on ${\{0,1\}}^{\mathbb{N}}\times [0,\lfloor \beta \rfloor \left(\beta -1\right)]$. We show existence and uniqueness of a $K_{\beta }$-invariant probability measure, absolutely continuous with respect to $m_p\otimes \lambda$, where $m_p$ is the Bernoulli measure on ${\{0,1\}}^{\mathbb{N}}$ with parameter $p$ ($0<p<1$) and $\lambda$ is the normalized Lebesgue measure on $[0,\lfloor \beta \rfloor (\beta -1\left)\right]$. Furthermore, this measure is of the form $m_p\otimes {\mu }_{\beta ,p}$, where ${\mu }_{\beta ,p}$ is equivalent to $\lambda$. We prove that the measure of maximal entropy and $m_p\otimes \lambda$ are mutually...

In this work we study the problem $u_t{-div\left(\right|x|}^{-2\gamma }\nabla u)=\lambda \frac{u^{\alpha }}{{\left|x\right|}^{2(\gamma +1)}}+f$ in $\Omega \times (0,T)$, $u\ge 0$ in $\Omega \times (0,T)$, $u=0$ on $\partial \Omega \times (0,T)$, $u(x,0)=u_0\left(x\right)$ in $\Omega$, $\Omega \subset {ℝ}^N$ $(N\ge 2)$ is a bounded regular domain such that $0\in \Omega$, $\lambda >0$, $\alpha >0$, $-\infty <\gamma <\left(N-2\right)/2$, $f$ and $u_0$ are positive functions such that $f\in L^1(\Omega \times (0,T))$ and $u_0\in L^1\left(\Omega \right)$. The main points under analysis are: (i) spectral instantaneous and complete blow-up related to the Harnack inequality in the case $\alpha =1$, $1+\gamma >0$; (ii) the nonexistence of solutions if $\alpha >1$, $1+\gamma >0$; (iii) a uniqueness result for weak solutions (in the distribution sense); (iv) further results on existence of weak solutions...

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

CONTENTSIntroduction................................................................................................................................... 5 Notations.......................................................................................................................... 5§ 1. Preliminaries........................................................................................................................ 6 1. Right invertible operators.....................................................................................................

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

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

Let $G$ be a finite group and $H$ a subgroup. Denote by $D(G;H)$ (or $D\left(G\right)$) the crossed product of $C\left(G\right)$ and $ℂH$ (or $ℂG$) with respect to the adjoint action of the latter on the former. Consider the algebra $\langle D\left(G\right),e\rangle$ generated by $D\left(G\right)$ and $e$, where we regard $E$ as an idempotent operator $e$ on $D\left(G\right)$ for a certain conditional expectation $E$ of $D\left(G\right)$ onto $D(G;H)$. Let us call $\langle D\left(G\right),e\rangle$ the basic construction from the conditional expectation $E:D\left(G\right)\to D(G;H)$. The paper constructs a crossed product algebra $C(G/H\times G)⋊ℂG$, and proves that there is an algebra isomorphism between...

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

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...