-
Convolution powers of unbounded measures on the positive half-line
Authors:
Dariusz Buraczewski,
Alexander Iksanov,
Alexander Marynych
Abstract:
For a right-continuous nondecreasing and unbounded function $V$ of at most exponential growth, which vanishes on the negative halfline, we investigate the asymptotic behavior of the Lebesgue-Stieltjes convolution powers $V^{\ast(j)}(t)$ as both $j$ and $t$ tend to infinity. We obtain a comprehensive asymptotic formula for $V^{\ast(j)}(t)$, which is valid across different regimes of simultaneous gr…
▽ More
For a right-continuous nondecreasing and unbounded function $V$ of at most exponential growth, which vanishes on the negative halfline, we investigate the asymptotic behavior of the Lebesgue-Stieltjes convolution powers $V^{\ast(j)}(t)$ as both $j$ and $t$ tend to infinity. We obtain a comprehensive asymptotic formula for $V^{\ast(j)}(t)$, which is valid across different regimes of simultaneous growth of $j$ and $t$. Our main technical tool is an exponential change of measure, which is a standard technique in the large deviations theory. Various applications of our result are given.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Laws of the iterated and single logarithm for sums of independent indicators, with applications to the Ginibre point process and Karlin's occupancy scheme
Authors:
Dariusz Buraczewski,
Alexander Iksanov,
Valeriya Kotelnikova
Abstract:
We prove a law of the iterated logarithm (LIL) for an infinite sum of independent indicators parameterized by $t$ as $t\to\infty$. It is shown that if the expectation $b$ and the variance $a$ of the sum are comparable, then the normalization in the LIL includes the iterated logarithm of $a$. If the expectation grows faster than the variance, while the ratio $\log b/\log a$ remains bounded, then th…
▽ More
We prove a law of the iterated logarithm (LIL) for an infinite sum of independent indicators parameterized by $t$ as $t\to\infty$. It is shown that if the expectation $b$ and the variance $a$ of the sum are comparable, then the normalization in the LIL includes the iterated logarithm of $a$. If the expectation grows faster than the variance, while the ratio $\log b/\log a$ remains bounded, then the normalization in the LIL includes the single logarithm of $a$ (so that the LIL becomes a law of the single logarithm). Applications of our result are given to the number of points of the infinite Ginibre point process in a disk and the number of occupied boxes and related quantities in Karlin's occupancy scheme.
△ Less
Submitted 2 March, 2025; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Critical branching processes in a sparse random environment
Authors:
Dariusz Buraczewski,
Congzao Dong,
Alexander Iksanov,
Alexander Marynych
Abstract:
We introduce a branching process in a sparse random environment as an intermediate model between a Galton--Watson process and a branching process in a random environment. In the critical case we investigate the survival probability and prove Yaglom-type limit theorems, that is, limit theorems for the size of population conditioned on the survival event.
We introduce a branching process in a sparse random environment as an intermediate model between a Galton--Watson process and a branching process in a random environment. In the critical case we investigate the survival probability and prove Yaglom-type limit theorems, that is, limit theorems for the size of population conditioned on the survival event.
△ Less
Submitted 11 June, 2023;
originally announced June 2023.
-
Weak quenched limit theorems for a random walk in a sparse random environment
Authors:
Dariusz Buraczewski,
Piotr Dyszewski,
Alicja Kołodziejska
Abstract:
We study the quenched behaviour of a perturbed version of the simple symmetric random walk on the set of integers. The random walker moves symmetrically with an exception of some randomly chosen sites where we impose a random drift. We show that if the gaps between the marked sites are i.i.d. and regularly varying with a sufficiently small index, then there is no strong quenched limit laws for the…
▽ More
We study the quenched behaviour of a perturbed version of the simple symmetric random walk on the set of integers. The random walker moves symmetrically with an exception of some randomly chosen sites where we impose a random drift. We show that if the gaps between the marked sites are i.i.d. and regularly varying with a sufficiently small index, then there is no strong quenched limit laws for the position of the random walker. As a consequence we study the quenched limit laws in the context of weak convergence of random measures.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
Limit theorems for random Dirichlet series
Authors:
Dariusz Buraczewski,
Congzao Dong,
Alexander Iksanov,
Alexander Marynych
Abstract:
We prove a functional limit theorem in a space of analytic functions for the random Dirichlet series $D(α;z)=\sum_{n\geq 2}(\log n)^α(η_n+{\rm i} θ_n)/n^z$, properly scaled and normalized, where $(η_n,θ_n)_{n\in\mathbb{N}}$ is a sequence of independent copies of a centered $\mathbb{R}^2$-valued random vector $(η,θ)$ with a finite second moment and $α>-1/2$ is a fixed real parameter. As a consequen…
▽ More
We prove a functional limit theorem in a space of analytic functions for the random Dirichlet series $D(α;z)=\sum_{n\geq 2}(\log n)^α(η_n+{\rm i} θ_n)/n^z$, properly scaled and normalized, where $(η_n,θ_n)_{n\in\mathbb{N}}$ is a sequence of independent copies of a centered $\mathbb{R}^2$-valued random vector $(η,θ)$ with a finite second moment and $α>-1/2$ is a fixed real parameter. As a consequence, we show that the point processes of complex and real zeros of $D(α;z)$ converge vaguely, thereby obtaining a universality result. In the real case, that is, when $\mathbb{P}\{θ=0\}=1$, we also prove a law of the iterated logarithm for $D(α;z)$, properly normalized, as $z\to (1/2)+$.
△ Less
Submitted 31 October, 2022;
originally announced November 2022.
-
Solutions of kinetic-type equations with perturbed collisions
Authors:
Dariusz Buraczewski,
Piotr Dyszewski,
Alexander Marynych
Abstract:
We study a class of kinetic-type differential equations $\partial φ_t/\partial t+φ_t=\widehat{\mathcal{Q}}φ_t$, where $\widehat{\mathcal{Q}}$ is an inhomogeneous smoothing transform and, for every $t\geq 0$, $φ_t$ is the Fourier--Stieltjes transform of a probability measure. We show that under mild assumptions on $\widehat{\mathcal{Q}}$ the above differential equation possesses a unique solution a…
▽ More
We study a class of kinetic-type differential equations $\partial φ_t/\partial t+φ_t=\widehat{\mathcal{Q}}φ_t$, where $\widehat{\mathcal{Q}}$ is an inhomogeneous smoothing transform and, for every $t\geq 0$, $φ_t$ is the Fourier--Stieltjes transform of a probability measure. We show that under mild assumptions on $\widehat{\mathcal{Q}}$ the above differential equation possesses a unique solution and represent this solution as the characteristic function of a certain stochastic process associated with the continuous time branching random walk pertaining to $\widehat{\mathcal{Q}}$. Establishing limit theorems for this process allows us to describe asymptotic properties of the solution, as $t\to\infty$.
△ Less
Submitted 18 September, 2023; v1 submitted 19 August, 2022;
originally announced August 2022.
-
Asymptotically linear iterated function systems on the real line
Authors:
Gerold Alsmeyer,
Sara Brofferio,
Dariusz Buraczewski
Abstract:
Given a sequence of i.i.d. random functions $Ψ_{n}:\mathbb{R}\to\mathbb{R}$, $n\in\mathbb{N}$, we consider the iterated function system and Markov chain which is recursively defined by $X_{0}^{x}:=x$ and $X_{n}^{x}:=Ψ_{n-1}(X_{n-1}^{x})$ for $x\in\mathbb{R}$ and $n\in\mathbb{N}$. Under the two basic assumptions that the $Ψ_{n}$ are a.s. continuous at any point in $\mathbb{R}$ and asymptotically li…
▽ More
Given a sequence of i.i.d. random functions $Ψ_{n}:\mathbb{R}\to\mathbb{R}$, $n\in\mathbb{N}$, we consider the iterated function system and Markov chain which is recursively defined by $X_{0}^{x}:=x$ and $X_{n}^{x}:=Ψ_{n-1}(X_{n-1}^{x})$ for $x\in\mathbb{R}$ and $n\in\mathbb{N}$. Under the two basic assumptions that the $Ψ_{n}$ are a.s. continuous at any point in $\mathbb{R}$ and asymptotically linear at the "endpoints" $\pm\infty$, we study the tail behavior of the stationary laws of such Markov chains by means of Markov renewal theory. Our approach provides an extension of Goldie's implicit renewal theory and can also be viewed as an adaptation of Kesten's work on products of random matrices to one-dimensional function systems as described. Our results have applications in quite different areas of applied probability like queuing theory, econometrics, mathematical finance and population dynamics. Our results have applications in quite different areas of applied probability like queuing theory, econometrics, mathematical finance and population dynamics, e.g. ARCH models and random logistic transforms.
△ Less
Submitted 6 October, 2021; v1 submitted 3 February, 2021;
originally announced February 2021.
-
On uniqueness of invariant measures for random walks on HOMEO(R)
Authors:
Sara Brofferio,
Dariusz Buraczewski,
Tomasz Szarek
Abstract:
We consider random walks on the group of orientation-preserving homeomorphisms of the real line ${\mathbb R}$. In particular, the fundamental question of uniqueness of an invariant measure of the generated process is raised. This problem was already studied by Choquet and Deny (1960) in the context of random walks generated by translations of the line. Nowadays the answer is quite well understood…
▽ More
We consider random walks on the group of orientation-preserving homeomorphisms of the real line ${\mathbb R}$. In particular, the fundamental question of uniqueness of an invariant measure of the generated process is raised. This problem was already studied by Choquet and Deny (1960) in the context of random walks generated by translations of the line. Nowadays the answer is quite well understood in general settings of strongly contractive systems. Here we focus on broader class of systems satisfying the conditions: recurrence, contraction and unbounded action. We prove that under these conditions the random process possesses a unique invariant Radon measure on ${\mathbb R}$. Our work can be viewed as a subsequent paper of Babillot et al. (1997) and Deroin et al. (2013).
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Limit theorems for supercritical branching processes in random environment
Authors:
Dariusz Buraczewski,
Ewa Damek
Abstract:
We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We focus on the supercritical case, when the process survives with a positive probability and grows exponentially fast on the nonextinction set. Our main is goal is est…
▽ More
We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We focus on the supercritical case, when the process survives with a positive probability and grows exponentially fast on the nonextinction set. Our main is goal is establish Fourier techniques for this model, which allow to obtain a number of precise estimates related to limit theorems. As a consequence we provide new results concerning central limit theorem, Edgeworth expansions and renewal theorem for $\log Z_n$.
△ Less
Submitted 12 April, 2021; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Moderate parts in regenerative compositions: the case of regular variation
Authors:
Dariusz Buraczewski,
Bohdan Dovgay,
Alexander Marynych
Abstract:
A regenerative random composition of integer $n$ is constructed by allocating $n$ standard exponential points over a countable number of intervals, comprising the complement of the closed range of a subordinator $S$. Assuming that the Lévy measure of $S$ is infinite and regularly varying at zero of index $-α$, $α\in(0,\,1)$, we find an explicit threshold $r=r(n)$, such that the number…
▽ More
A regenerative random composition of integer $n$ is constructed by allocating $n$ standard exponential points over a countable number of intervals, comprising the complement of the closed range of a subordinator $S$. Assuming that the Lévy measure of $S$ is infinite and regularly varying at zero of index $-α$, $α\in(0,\,1)$, we find an explicit threshold $r=r(n)$, such that the number $K_{n,\,r(n)}$ of blocks of size $r(n)$ converges in distribution without any normalization to a mixed Poisson distribution. The sequence $(r(n))$ turns out to be regularly varying with index $α/(α+1)$ and the mixing distribution is that of the exponential functional of $S$. The result is derived as a consequence of a general Poisson limit theorem for an infinite occupancy scheme with power-like decay of the frequencies. We also discuss asymptotic behavior of $K_{n,\,w(n)}$ in cases when $w(n)$ diverges but grows slower than $r(n)$. Our findings complement previously known strong laws of large numbers for $K_{n,\,r}$ in case of a fixed $r\in\mathbb{N}$. As a key tool we employ new Abelian theorems for Laplace--Stiletjes transforms of regularly varying functions with the indexes of regular variation diverging to infinity.
△ Less
Submitted 14 December, 2020; v1 submitted 18 June, 2020;
originally announced June 2020.
-
On intermediate levels of nested occupancy scheme in random environment generated by stick-breaking I
Authors:
Dariusz Buraczewski,
Bohdan Dovgay,
Alexander Iksanov
Abstract:
Consider a weighted branching process generated by the lengths of intervals obtained by stick-breaking of unit length (a.k.a. the residual allocation model) and associate with each weight a `box'. Given the weights `balls' are thrown independently into the boxes of the first generation with probability of hitting a box being equal to its weight. Each ball located in a box of the $j$th generation,…
▽ More
Consider a weighted branching process generated by the lengths of intervals obtained by stick-breaking of unit length (a.k.a. the residual allocation model) and associate with each weight a `box'. Given the weights `balls' are thrown independently into the boxes of the first generation with probability of hitting a box being equal to its weight. Each ball located in a box of the $j$th generation, independently of the others, hits a daughter box in the $(j+1)$th generation with probability being equal the ratio of the daughter weight and the mother weight. This is what we call nested occupancy scheme in random environment. Restricting attention to a particular generation one obtains the classical Karlin occupancy scheme in random environment.
Assuming that the stick-breaking factor has a uniform distribution on $[0,1]$ and that the number of balls is $n$ we investigate occupancy of intermediate generations, that is, those with indices $\lfloor j_n u\rfloor$ for $u>0$, where $j_n$ diverges to infinity at a sublogarithmic rate as $n$ becomes large. Denote by $K_n(j)$ the number of occupied (ever hit) boxes in the $j$th generation. It is shown that the finite-dimensional distributions of the process $(K_n(\lfloor j_n u\rfloor))_{u>0}$, properly normalized and centered, converge weakly to those of an integral functional of a Brownian motion. The case of a more general stick-breaking is also analyzed.
△ Less
Submitted 25 November, 2020; v1 submitted 31 May, 2020;
originally announced June 2020.
-
A Brownian weak limit for the least common multiple of a random m-tuple of integers
Authors:
Dariusz Buraczewski,
Alexander Iksanov,
Alexander Marynych
Abstract:
Let $B_n(m)$ be a set picked uniformly at random among all $m$-elements subsets of $\{1,2,\ldots,n\}$. We provide a pathwise construction of the collection $(B_n(m))_{1\leq m\leq n}$ and prove that the logarithm of the least common multiple of the integers in $(B_n(\lfloor mt\rfloor))_{t\geq 0}$, properly centered and normalized, converges to a Brownian motion when both $m,n$ tend to infinity. Our…
▽ More
Let $B_n(m)$ be a set picked uniformly at random among all $m$-elements subsets of $\{1,2,\ldots,n\}$. We provide a pathwise construction of the collection $(B_n(m))_{1\leq m\leq n}$ and prove that the logarithm of the least common multiple of the integers in $(B_n(\lfloor mt\rfloor))_{t\geq 0}$, properly centered and normalized, converges to a Brownian motion when both $m,n$ tend to infinity. Our approach consists of two steps. First, we show that the aforementioned result is a consequence of a multidimensional central limit theorem for the logarithm of the least common multiple of $m$ independent random variables having uniform distribution on $\{1,2,\ldots,n\}$. Second, we offer a novel approximation of the least common multiple of a random sample by the product of the elements of the sample with neglected multiplicities in their prime decompositions.
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
On the derivative martingale in a branching random walk
Authors:
Dariusz Buraczewski,
Alexander Iksanov,
Bastien Mallein
Abstract:
We work under the Aïdékon-Chen conditions which ensure that the derivative martingale in a supercritical branching random walk on the line converges almost surely to a nondegenerate nonnegative random variable that we denote by $Z$. It is shown that $\mathbb{E} Z\mathbf{1}_{\{Z\le x\}}=\log x+o(\log x)$ as $x\to\infty$. Also, we provide necessary and sufficient conditions under which…
▽ More
We work under the Aïdékon-Chen conditions which ensure that the derivative martingale in a supercritical branching random walk on the line converges almost surely to a nondegenerate nonnegative random variable that we denote by $Z$. It is shown that $\mathbb{E} Z\mathbf{1}_{\{Z\le x\}}=\log x+o(\log x)$ as $x\to\infty$. Also, we provide necessary and sufficient conditions under which $\mathbb{E} Z\mathbf{1}_{\{Z\le x\}}=\log x+{\rm const}+o(1)$ as $x\to\infty$. This more precise asymptotics is a key tool for proving distributional limit theorems which quantify the rate of convergence of the derivative martingale to its limit $Z$. The methodological novelty of the present paper is a three terms representation of a subharmonic function of at most linear growth for a killed centered random walk of finite variance. This yields the aforementioned asymptotics and should also be applicable to other models.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Solutions to kinetic-type evolution equations: beyond the boundary case
Authors:
Dariusz Buraczewski,
Konrad Kolesko,
Matthias Meiners
Abstract:
We study the asymptotic behavior as $t \to \infty$ of a time-dependent family $(μ_t)_{t \geq 0}$ of probability measures on $\mathbb{R}$ solving the kinetic-type evolution equation $\partial_t μ_t + μ_t = Q(μ_t)$ where $Q$ is a smoothing transformation on $\mathbb{R}$. This problem has been investigated earlier, e.g. by Bassetti and Ladelli [Ann. Appl. Probab. 22(5): 1928-1961, 2012] and Bogus, Bu…
▽ More
We study the asymptotic behavior as $t \to \infty$ of a time-dependent family $(μ_t)_{t \geq 0}$ of probability measures on $\mathbb{R}$ solving the kinetic-type evolution equation $\partial_t μ_t + μ_t = Q(μ_t)$ where $Q$ is a smoothing transformation on $\mathbb{R}$. This problem has been investigated earlier, e.g. by Bassetti and Ladelli [Ann. Appl. Probab. 22(5): 1928-1961, 2012] and Bogus, Buraczewski and Marynych [Stochastic Process. Appl. 130(2):677-693, 2020]. Combining the refined analysis of the latter paper, which provides a probabilistic description of the solution $μ_t$ as the law of a suitable random sum related to a continuous-time branching random walk at time $t$, with recent advances in the analysis of the extremal positions in the branching random walk we are able to solve the remaining case that has been left open until now. In the course of our work, we significantly weaken the assumptions in the literature that guarantee the existence (and uniqueness) of a solution to the evolution equation $\partial_t μ_t + μ_t = Q(μ_t)$.
△ Less
Submitted 20 July, 2020; v1 submitted 1 September, 2019;
originally announced September 2019.
-
Random walks in a strongly sparse random environment
Authors:
Dariusz Buraczewski,
Piotr Dyszewski,
Alexander Iksanov,
Alexander Marynych
Abstract:
The integer points (sites) of the real line are marked by the positions of a standard random walk. We say that the set of marked sites is weakly, moderately or strongly sparse depending on whether the jumps of the standard random walk are supported by a bounded set, have finite or infinite mean, respectively. Focussing on the case of strong sparsity we consider a nearest neighbor random walk on th…
▽ More
The integer points (sites) of the real line are marked by the positions of a standard random walk. We say that the set of marked sites is weakly, moderately or strongly sparse depending on whether the jumps of the standard random walk are supported by a bounded set, have finite or infinite mean, respectively. Focussing on the case of strong sparsity we consider a nearest neighbor random walk on the set of integers having jumps $\pm 1$ with probability $1/2$ at every nonmarked site, whereas a random drift is imposed at every marked site. We prove new distributional limit theorems for the so defined random walk in a strongly sparse random environment, thereby complementing results obtained recently in Buraczewski et al. (2018+) for the case of moderate sparsity and in Matzavinos et al. (2016) for the case of weak sparsity. While the random walk in a strongly sparse random environment exhibits either the diffusive scaling inherent to a simple symmetric random walk or a wide range of subdiffusive scalings, the corresponding limit distributions are non-stable.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Stable limit laws for random walk in a sparse random environment I: moderate sparsity
Authors:
Dariusz Buraczewski,
Piotr Dyszewski,
Alexander Iksanov,
Alexander Marynych,
Alexander Roitershtein
Abstract:
A random walk in a sparse random environment is a model introduced by Matzavinos et al. [Electron. J. Probab. 21, paper no. 72: 2016] as a generalization of both a simple symmetric random walk and a classical random walk in a random environment. A random walk $(X_n)_{n\in \mathbb{N}\cup\{0\}}$ in a sparse random environment $(S_k,λ_k)_{k\in\mathbb{Z}}$ is a nearest neighbor random walk on…
▽ More
A random walk in a sparse random environment is a model introduced by Matzavinos et al. [Electron. J. Probab. 21, paper no. 72: 2016] as a generalization of both a simple symmetric random walk and a classical random walk in a random environment. A random walk $(X_n)_{n\in \mathbb{N}\cup\{0\}}$ in a sparse random environment $(S_k,λ_k)_{k\in\mathbb{Z}}$ is a nearest neighbor random walk on $\mathbb{Z}$ that jumps to the left or to the right with probability $1/2$ from every point of $\mathbb{Z}\setminus \{\ldots,S_{-1},S_0=0,S_1,\ldots\}$ and jumps to the right (left) with the random probability $λ_{k+1}$ ($1-λ_{k+1}$) from the point $S_k$, $k\in\mathbb{Z}$. Assuming that $(S_k-S_{k-1},λ_k)_{k\in\mathbb{Z}}$ are independent copies of a random vector $(ξ,λ)\in \mathbb{N}\times (0,1)$ and the mean $\mathbb{E}ξ$ is finite (moderate sparsity) we obtain stable limit laws for $X_n$, properly normalized and centered, as $n\to\infty$. While the case $ξ\leq M$ a.s.\ for some deterministic $M>0$ (weak sparsity) was analyzed by Matzavinos et al., the case $\mathbb{E} ξ=\infty$ (strong sparsity) will be analyzed in a forthcoming paper.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Self-similar solutions of kinetic-type equations: the boundary case
Authors:
Kamil Bogus,
Dariusz Buraczewski,
Alexander Marynych
Abstract:
For a time dependent family of probability measures $(ρ_t)_{t\ge 0}$ we consider a kinetic-type evolution equation $\partial φ_t/\partial t + φ_t = \widehat{Q} φ_t$ where $\widehat{Q}$ is a smoothing transform and $φ_t$ is the Fourier--Stieltjes transform of $ρ_t$. Assuming that the initial measure $ρ_0$ belongs to the domain of attraction of a stable law, we describe asymptotic properties of…
▽ More
For a time dependent family of probability measures $(ρ_t)_{t\ge 0}$ we consider a kinetic-type evolution equation $\partial φ_t/\partial t + φ_t = \widehat{Q} φ_t$ where $\widehat{Q}$ is a smoothing transform and $φ_t$ is the Fourier--Stieltjes transform of $ρ_t$. Assuming that the initial measure $ρ_0$ belongs to the domain of attraction of a stable law, we describe asymptotic properties of $ρ_t$, as $t\to\infty$. We consider the critical regime when the standard normalization leads to a degenerate limit and find an appropriate scaling ensuring a non-degenerate self-similar limit. Our approach is based on a probabilistic representation of probability measures $(ρ_t)_{t\ge 0}$ that refines the corresponding construction proposed in Bassetti and Ladelli [Ann. Appl. Probab. 22(5): 1928--1961, 2012].
△ Less
Submitted 5 March, 2019; v1 submitted 15 April, 2018;
originally announced April 2018.
-
Precise large deviations for random walk in random environment
Authors:
Dariusz Buraczewski,
Piotr Dyszewski
Abstract:
We study one-dimensional nearest neighbour random walk in site-random environment. We establish precise (sharp) large deviations in the so-called ballistic regime, when the random walk drifts to the right with linear speed. In the sub-ballistic regime, when the speed is sublinear, we describe the precise probability of slowdown.
We study one-dimensional nearest neighbour random walk in site-random environment. We establish precise (sharp) large deviations in the so-called ballistic regime, when the random walk drifts to the right with linear speed. In the sub-ballistic regime, when the speed is sublinear, we describe the precise probability of slowdown.
△ Less
Submitted 4 January, 2018; v1 submitted 3 October, 2017;
originally announced October 2017.
-
Large deviation estimates for branching random walks
Authors:
Dariusz Buraczewski,
Mariusz Maslanka
Abstract:
We consider the branching random walk drifting to $-\infty$ and we investigate large deviations-type estimates for the first passage time. We prove the corresponding law of large numbers and the central limit theorem.
We consider the branching random walk drifting to $-\infty$ and we investigate large deviations-type estimates for the first passage time. We prove the corresponding law of large numbers and the central limit theorem.
△ Less
Submitted 12 September, 2017; v1 submitted 22 August, 2017;
originally announced August 2017.
-
Precise large deviation estimates for branching process in random environment
Authors:
Dariusz Buraczewski,
Piotr Dyszewski
Abstract:
We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We describe precise asymptotics of upper large deviations, i.e. $\mathbb{P}[Z_n > e^{ρn}]$. Moreover in the subcritical case, under the Cramér condition on the mean of…
▽ More
We consider the branching process in random environment $\{Z_n\}_{n\geq 0}$, which is a~population growth process where individuals reproduce independently of each other with the reproduction law randomly picked at each generation. We describe precise asymptotics of upper large deviations, i.e. $\mathbb{P}[Z_n > e^{ρn}]$. Moreover in the subcritical case, under the Cramér condition on the mean of the reproduction law, we investigate large deviations-type estimates for the first passage time of the branching process in question and its total population size.
△ Less
Submitted 28 July, 2020; v1 submitted 12 June, 2017;
originally announced June 2017.
-
On perpetuities with gamma-like tails
Authors:
Dariusz Buraczewski,
Piotr Dyszewski,
Alexander Iksanov,
Alexander Marynych
Abstract:
An infinite convergent sum of independent and identically distributed random variables discounted by a multiplicative random walk is called perpetuity, because of a possible actuarial application. We give three disjoint groups of sufficient conditions which ensure that the distribution right tail of a perpetuity $\mathbb{P}\{X>x\}$ is asymptotic to $ax^ce^{-bx}$ as $x\to\infty$ for some $a,b>0$ an…
▽ More
An infinite convergent sum of independent and identically distributed random variables discounted by a multiplicative random walk is called perpetuity, because of a possible actuarial application. We give three disjoint groups of sufficient conditions which ensure that the distribution right tail of a perpetuity $\mathbb{P}\{X>x\}$ is asymptotic to $ax^ce^{-bx}$ as $x\to\infty$ for some $a,b>0$ and $c\in\mathbb{R}$. Our results complement those of Denisov and Zwart [J. Appl. Probab. 44 (2007), 1031--1046]. As an auxiliary tool we provide criteria for the finiteness of the one-sided exponential moments of perpetuities. Several examples are given in which the distributions of perpetuities are explicitly identified.
△ Less
Submitted 6 March, 2018; v1 submitted 7 March, 2017;
originally announced March 2017.
-
Null-recurrence and transience of random difference equations in the contractive case
Authors:
Gerold Alsmeyer,
Dariusz Buraczewski,
Alexander Iksanov
Abstract:
Given a sequence $(M_{k}, Q_{k})_{k\ge 1}$ of independent, identically distributed ran\-dom vectors with nonnegative components, we consider the recursive Markov chain $(X_{n})_{n\ge 0}$, defined by the random difference equation $X_{n}=M_{n}X_{n-1}+Q_{n}$ for $n\ge 1$, where $X_{0}$ is independent of $(M_{k}, Q_{k})_{k\ge 1}$. Criteria for the null-recurrence/transience are provided in the situat…
▽ More
Given a sequence $(M_{k}, Q_{k})_{k\ge 1}$ of independent, identically distributed ran\-dom vectors with nonnegative components, we consider the recursive Markov chain $(X_{n})_{n\ge 0}$, defined by the random difference equation $X_{n}=M_{n}X_{n-1}+Q_{n}$ for $n\ge 1$, where $X_{0}$ is independent of $(M_{k}, Q_{k})_{k\ge 1}$. Criteria for the null-recurrence/transience are provided in the situation where $(X_{n})_{n\ge 0}$ is contractive in the sense that $M_{1}\cdot\ldots\cdot M_{n}\to 0$ a.s., yet occasional large values of the $Q_{n}$ overcompensate the contractive behavior so that positive recurrence fails to hold. We also investigate the attractor set of $(X_{n})_{n\ge 0}$ under the sole assumption that this chain is locally contractive and recurrent.
△ Less
Submitted 31 May, 2017; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Precise large deviations of the first passage time
Authors:
Dariusz Buraczewski,
Mariusz Maślanka
Abstract:
Let $S_n$ be partial sums of an i.i.d. sequence $\{X_i\}$. We assume that $\mathbb{E} X_1 <0$ and $\mathbb{P}[X_1>0]>0$. In this paper we study the first passage time $$ τ_u = \inf\{n:\; S_n > u\}. $$ The classical Cramér's estimate of the ruin probability says that $$ \mathbb{P}[τ_u<\infty] \sim C e^{-α_0 u}\quad \text{as } u\to \infty, $$ for some parameter $α_0$. The aim of the paper is to desc…
▽ More
Let $S_n$ be partial sums of an i.i.d. sequence $\{X_i\}$. We assume that $\mathbb{E} X_1 <0$ and $\mathbb{P}[X_1>0]>0$. In this paper we study the first passage time $$ τ_u = \inf\{n:\; S_n > u\}. $$ The classical Cramér's estimate of the ruin probability says that $$ \mathbb{P}[τ_u<\infty] \sim C e^{-α_0 u}\quad \text{as } u\to \infty, $$ for some parameter $α_0$. The aim of the paper is to describe precise large deviations of the first crossing by $S_n$ a linear boundary, more precisely for a fixed parameter $ρ$ we study asymptotic behavior of $\mathbb{P}\left[τ_u = \lfloor u/ρ\rfloor \right]$ as $u$ tends to infinity.
△ Less
Submitted 6 August, 2016;
originally announced August 2016.
-
A simple proof of heavy tail estimates for affine type Lipschitz recursions
Authors:
Dariusz Buraczewski,
Ewa Damek
Abstract:
We study the affine recursion $X_n = A_nX_{n-1}+B_n$ where $(A_n,B_n)\in {\mathbb R}^+ \times {\mathbb R} $ is an i.i.d. sequence and recursions $X_n = Φ_n(X_{n-1})$ defined by Lipschitz transformations such that $Φ(x)\geq Ax+B$. It is known that under appropriate hypotheses the stationary solution $X$ has regularly varying tail, i.e. $$\lim_{t\to\infty} t^α {\mathbb P}[X>t] = C. $$ However positi…
▽ More
We study the affine recursion $X_n = A_nX_{n-1}+B_n$ where $(A_n,B_n)\in {\mathbb R}^+ \times {\mathbb R} $ is an i.i.d. sequence and recursions $X_n = Φ_n(X_{n-1})$ defined by Lipschitz transformations such that $Φ(x)\geq Ax+B$. It is known that under appropriate hypotheses the stationary solution $X$ has regularly varying tail, i.e. $$\lim_{t\to\infty} t^α {\mathbb P}[X>t] = C. $$ However positivity of $C$ in general is either unknown or requires some additional involved arguments. In this paper we give a simple proof that $C>0$. This applies, in particular, to the case when Kesten-Goldie assumptions are satisfied.
△ Less
Submitted 23 April, 2016;
originally announced April 2016.
-
Local fluctuations of critical Mandelbrot cascades
Authors:
Dariusz Buraczewski,
Piotr Dyszewski,
Konrad Kolesko
Abstract:
We investigate so-called generalized Mandelbrot cascades at the freezing (critical) temperature. It is known that, after a proper rescaling, a~sequence of multiplicative cascades converges weakly to some continuous random measure. Our main question is how the limiting measure $μ$ fluctuates. For any given point $x$, denoting by $B_n(x)$ the ball of radius $2^{-n}$ centered around $x$, we present o…
▽ More
We investigate so-called generalized Mandelbrot cascades at the freezing (critical) temperature. It is known that, after a proper rescaling, a~sequence of multiplicative cascades converges weakly to some continuous random measure. Our main question is how the limiting measure $μ$ fluctuates. For any given point $x$, denoting by $B_n(x)$ the ball of radius $2^{-n}$ centered around $x$, we present optimal lower and upper estimates of $μ(B_n(x))$ as $n \to \infty$.
△ Less
Submitted 22 May, 2018; v1 submitted 12 April, 2016;
originally announced April 2016.
-
Pointwise estimates for first passage times of perpetuity sequences
Authors:
Dariusz Buraczewski,
Ewa Damek,
Jacek Zienkiewicz
Abstract:
We consider first passage times $τ_u = \inf\{n:\; Y_n>u\}$ for the perpetuity sequence $$ Y_n = B_1 + A_1 B_2 + \cdots + (A_1\ldots A_{n-1})B_n, $$ where $(A_n,B_n)$ are i.i.d. random variables with values in ${\mathbb R} ^+\times {\mathbb R}$. Recently, a number of limit theorems related to $τ_u$ were proved including the law of large numbers, the central limit theorem and large deviations theore…
▽ More
We consider first passage times $τ_u = \inf\{n:\; Y_n>u\}$ for the perpetuity sequence $$ Y_n = B_1 + A_1 B_2 + \cdots + (A_1\ldots A_{n-1})B_n, $$ where $(A_n,B_n)$ are i.i.d. random variables with values in ${\mathbb R} ^+\times {\mathbb R}$. Recently, a number of limit theorems related to $τ_u$ were proved including the law of large numbers, the central limit theorem and large deviations theorems. We obtain a precise asymptotics of the sequence ${\mathbb P}[τ_u = \log u/ρ]$, $ρ>0$, $u\to \infty $ which considerably improves the previous results. There, probabilities ${\mathbb P}[τ_u \in I_u]$ were identified, for some large intervals $I_u$ around $k_u$, with lengths growing at least as $\log\log u$. Remarkable analogies and differences to random walks are discussed.
△ Less
Submitted 11 April, 2017; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Precise tail asymptotics of fixed points of the smoothing transform with general weights
Authors:
D. Buraczewski,
E. Damek,
J. Zienkiewicz
Abstract:
We consider solutions of the stochastic equation $R=_d\sum_{i=1}^NA_iR_i+B$, where $N>1$ is a fixed constant, $A_i$ are independent, identically distributed random variables and $R_i$ are independent copies of $R$, which are independent both from $A_i$'s and $B$. The hypotheses ensuring existence of solutions are well known. Moreover under a number of assumptions the main being…
▽ More
We consider solutions of the stochastic equation $R=_d\sum_{i=1}^NA_iR_i+B$, where $N>1$ is a fixed constant, $A_i$ are independent, identically distributed random variables and $R_i$ are independent copies of $R$, which are independent both from $A_i$'s and $B$. The hypotheses ensuring existence of solutions are well known. Moreover under a number of assumptions the main being $\mathbb{E}|A_1|^α=1/N$ and $\mathbb{E}|A_1|^α\log|A_1|>0$, the limit $\lim_{t\to\infty}t^α\mathbb{P}[|R|>t]=K$ exists. In the present paper, we prove positivity of $K$.
△ Less
Submitted 13 April, 2015;
originally announced April 2015.
-
Precise Tail Asymptotics for Attracting Fixed Points of Multivariate Smoothing Transformations
Authors:
Dariusz Buraczewski,
Sebastian Mentemeier
Abstract:
Given $d \ge 1$, let $(A_i)_{i\ge 1}$ be a sequence of random $d\times d$ real matrices and $Q$ be a random vector in $\mathbb{R}^d$. We consider fixed points of multivariate smoothing transforms, i.e. random variables $X\in \mathbb{R}^d$ satisfying $X$ has the same law as $\sum_{i \ge 1} A_i X_i + Q$, where $(X_i)_{i \ge 1}$ are i.i.d. copies of $X$ and independent of $(Q, (A_i)_{i \ge 1})$. The…
▽ More
Given $d \ge 1$, let $(A_i)_{i\ge 1}$ be a sequence of random $d\times d$ real matrices and $Q$ be a random vector in $\mathbb{R}^d$. We consider fixed points of multivariate smoothing transforms, i.e. random variables $X\in \mathbb{R}^d$ satisfying $X$ has the same law as $\sum_{i \ge 1} A_i X_i + Q$, where $(X_i)_{i \ge 1}$ are i.i.d. copies of $X$ and independent of $(Q, (A_i)_{i \ge 1})$. The existence of fixed points that can attract point masses can be shown by means of contraction arguments. Let $X$ be such a fixed point. Assuming that the action of the matrices is expanding as well with positive probability, it was shown in a number of papers that there is $β>0$ with $\lim_{t \to \infty} t^β\mathbb{P}(<u,X > >t ) = K\cdot f(u)$, where $u$ denotes an arbitrary element of the unit sphere and $f$ a positive function and $K \ge 0$. However in many cases it was not established that $K$ is indeed positive.
In this paper, under quite general assumptions, we prove that $\liminf_{t\to\infty} t^β \mathbb{P} (<u,X >> t)> 0,$ completing, in particular, the results of arXiv:1111.1756 and arXiv:1206.1709.
△ Less
Submitted 11 February, 2016; v1 submitted 9 February, 2015;
originally announced February 2015.
-
Large deviation estimates for exceedance times of perpetuity sequences and their dual processes
Authors:
Dariusz Buraczewski,
Jeffrey F. Collamore,
Ewa Damek,
Jacek Zienkiewicz
Abstract:
In a variety of problems in pure and applied probability, it is of relevant to study the large exceedance probabilities of the perpetuity sequence $Y_n := B_1 + A_1 B_2 + \cdots + (A_1 \cdots A_{n-1}) B_n$, where $(A_i,B_i) \subset (0,\infty) \times {\mathbb R}$. Estimates for the stationary tail distribution of $\{ Y_n \}$ have been developed in the seminal papers of Kesten (1973) and Goldie (199…
▽ More
In a variety of problems in pure and applied probability, it is of relevant to study the large exceedance probabilities of the perpetuity sequence $Y_n := B_1 + A_1 B_2 + \cdots + (A_1 \cdots A_{n-1}) B_n$, where $(A_i,B_i) \subset (0,\infty) \times {\mathbb R}$. Estimates for the stationary tail distribution of $\{ Y_n \}$ have been developed in the seminal papers of Kesten (1973) and Goldie (1991). Specifically, it is well-known that if $M := \sup_n Y_n$, then ${\mathbb P} \left\{ M > u \right\} \sim {\cal C}_M u^{-ξ}$ as $u \to \infty$. While much attention has been focused on extending this estimate, and related estimates, to more general processes, little work has been devoted to understanding the path behavior of these processes. In this paper, we derive sharp asymptotic estimates for the large exceedance times of $\{ Y_n \}$. Letting $T_u := (\log\, u)^{-1} \inf\{n: Y_n > u \}$ denote the normalized first passage time, we study ${\mathbb P} \left\{ T_u \in G \right\}$ as $u \to \infty$ for sets $G \subset [0,\infty)$. We show, first, that the scaled sequence $\{ T_u \}$ converges in probability to a certain constant $ρ> 0$. Moreover, if $G \cap [0,ρ] \not= \emptyset$, then ${\mathbb P} \left\{ T_u \in G \right\} u^{I(G)} \to C(G)$ as $u \to \infty$ for some "rate function" $I$ and constant $C(G)$. On the other hand, if $G \cap [0,ρ] = \emptyset$, then we show that the tail behavior is actually quite complex, and different asymptotic regimes are possible. We conclude by extending our results to the corresponding forward process, understood in the sense of Letac (1986), namely, the reflected process $M_n^\ast := \max\{ A_n M_{n-1}^\ast + B_n, 0 \}$ for $n \in {\mathbb N}$, where $M_0^\ast=0$.
△ Less
Submitted 27 November, 2014;
originally announced November 2014.
-
Functional limit theorems for divergent perpetuities in the contractive case
Authors:
Dariusz Buraczewski,
Alexander Iksanov
Abstract:
Let $\big(M_k, Q_k\big)_{k\in\mathbb{N}}$ be independent copies of an $\mathbb{R}^2$-valued random vector. It is known that if $Y_n:=Q_1+M_1Q_2+...+M_1\cdot...\cdot M_{n-1}Q_n$ converges a.s. to a random variable $Y$, then the law of $Y$ satisfies the stochastic fixed-point equation $Y \overset{d}{=} Q_1+M_1Y$, where $(Q_1, M_1)$ is independent of $Y$. In the present paper we consider the situatio…
▽ More
Let $\big(M_k, Q_k\big)_{k\in\mathbb{N}}$ be independent copies of an $\mathbb{R}^2$-valued random vector. It is known that if $Y_n:=Q_1+M_1Q_2+...+M_1\cdot...\cdot M_{n-1}Q_n$ converges a.s. to a random variable $Y$, then the law of $Y$ satisfies the stochastic fixed-point equation $Y \overset{d}{=} Q_1+M_1Y$, where $(Q_1, M_1)$ is independent of $Y$. In the present paper we consider the situation when $|Y_n|$ diverges to $\infty$ in probability because $|Q_1|$ takes large values with high probability, whereas the multiplicative random walk with steps $M_k$'s tends to zero a.s. Under a regular variation assumption we show that $\log |Y_n|$, properly scaled and normalized, converge weakly in the Skorokhod space equipped with the $J_1$-topology to an extremal process. A similar result also holds for the corresponding Markov chains. Proofs rely upon a deterministic result which establishes the $J_1$-convergence of certain sums to a maximal function and subsequent use of the Skorokhod representation theorem.
△ Less
Submitted 12 November, 2014; v1 submitted 9 November, 2014;
originally announced November 2014.
-
Precise Large Deviation Results for Products of Random Matrices
Authors:
Dariusz Buraczewski,
Sebastian Mentemeier
Abstract:
The theorem of Furstenberg and Kesten provides a strong law of large numbers for the norm of a product of random matrices. This can be extended under various assumptions, covering nonnegative as well as invertible matrices, to a law of large numbers for the norm of a vector on which the matrices act. We prove corresponding precise large deviation results, generalizing the Bahadur-Rao theorem to th…
▽ More
The theorem of Furstenberg and Kesten provides a strong law of large numbers for the norm of a product of random matrices. This can be extended under various assumptions, covering nonnegative as well as invertible matrices, to a law of large numbers for the norm of a vector on which the matrices act. We prove corresponding precise large deviation results, generalizing the Bahadur-Rao theorem to this situation. Therefore, we obtain a third-order Edgeworth expansion for the cumulative distribution function of the vector norm. This result in turn relies on an application of the Nagaev-Guivarch method. Our result is then used to study matrix recursions, arising e.g. in financial time series, and to provide precise large deviation estimates there.
△ Less
Submitted 9 February, 2015; v1 submitted 26 May, 2014;
originally announced May 2014.
-
Large deviations for solutions to stochastic recurrence equations under Kesten's condition
Authors:
D. Buraczewski,
E. Damek,
T. Mikosch,
J. Zienkiewicz
Abstract:
In this paper we prove large deviations results for partial sums constructed from the solution to a stochastic recurrence equation. We assume Kesten's condition [Acta Math. 131 (1973) 207-248] under which the solution of the stochastic recurrence equation has a marginal distribution with power law tails, while the noise sequence of the equations can have light tails. The results of the paper are a…
▽ More
In this paper we prove large deviations results for partial sums constructed from the solution to a stochastic recurrence equation. We assume Kesten's condition [Acta Math. 131 (1973) 207-248] under which the solution of the stochastic recurrence equation has a marginal distribution with power law tails, while the noise sequence of the equations can have light tails. The results of the paper are analogs to those obtained by A. V. Nagaev [Theory Probab. Appl. 14 (1969) 51-64; 193-208] and S. V. Nagaev [Ann. Probab. 7 (1979) 745-789] in the case of partial sums of i.i.d. random variables. In the latter case, the large deviation probabilities of the partial sums are essentially determined by the largest step size of the partial sum. For the solution to a stochastic recurrence equation, the magnitude of the large deviation probabilities is again given by the tail of the maximum summand, but the exact asymptotic tail behavior is also influenced by clusters of extreme values, due to dependencies in the sequence. We apply the large deviation results to study the asymptotic behavior of the ruin probabilities in the model.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
On unbounded invariant measures of stochastic dynamical systems
Authors:
Sara Brofferio,
Dariusz Buraczewski
Abstract:
We consider stochastic dynamical systems on ${\mathbb{R}}$, that is, random processes defined by $X_n^x=Ψ_n(X_{n-1}^x)$, $X_0^x=x$, where $Ψ_n$ are i.i.d. random continuous transformations of some unbounded closed subset of ${\mathbb{R}}$. We assume here that $Ψ_n$ behaves asymptotically like $A_nx$, for some random positive number $A_n$ [the main example is the affine stochastic recursion…
▽ More
We consider stochastic dynamical systems on ${\mathbb{R}}$, that is, random processes defined by $X_n^x=Ψ_n(X_{n-1}^x)$, $X_0^x=x$, where $Ψ_n$ are i.i.d. random continuous transformations of some unbounded closed subset of ${\mathbb{R}}$. We assume here that $Ψ_n$ behaves asymptotically like $A_nx$, for some random positive number $A_n$ [the main example is the affine stochastic recursion $Ψ_n(x)=A_nx+B_n$]. Our aim is to describe invariant Radon measures of the process $X_n^x$ in the critical case, when ${\mathbb{E}}\log A_1=0$. We prove that those measures behave at infinity like $\frac{dx}{x}$. We study also the problem of uniqueness of the invariant measure. We improve previous results known for the affine recursions and generalize them to a larger class of stochastic dynamical systems which include, for instance, reflected random walks, stochastic dynamical systems on the unit interval $[0,1]$, additive Markov processes and a variant of the Galton--Watson process.
△ Less
Submitted 4 June, 2015; v1 submitted 26 April, 2013;
originally announced April 2013.
-
Linear stochastic equations in the critical case
Authors:
Dariusz Buraczewski,
Konrad Kolesko
Abstract:
We consider solutions of the stochastic equation $X \stackrel{d}= \sum_{i=1}^N A_iX_i + B$, where $N$ is a random natural number, $B$ and $A_i$ are random positive numbers and $X_i$ are independent copies of $X$, which are independent also of $N,B,A_i$. Properties of solutions of this equation are mainly coded in the function $m(s)=\mathbb{E}\big[\sum_{i=1}^N A_i^s \big]$. In this paper we study t…
▽ More
We consider solutions of the stochastic equation $X \stackrel{d}= \sum_{i=1}^N A_iX_i + B$, where $N$ is a random natural number, $B$ and $A_i$ are random positive numbers and $X_i$ are independent copies of $X$, which are independent also of $N,B,A_i$. Properties of solutions of this equation are mainly coded in the function $m(s)=\mathbb{E}\big[\sum_{i=1}^N A_i^s \big]$. In this paper we study the critical case when the function $m$ is tangent to the line $y=1$. Then, under a number of further assumptions, we prove existence of solutions and describe their asymptotic behavior.
△ Less
Submitted 29 October, 2012;
originally announced October 2012.
-
Heavy tailed solutions of multivariate smoothing transforms
Authors:
Dariusz Buraczewski,
Ewa Damek,
Sebastian Mentemeier,
Mariusz Mirek
Abstract:
Let $N > 1$ be a fixed integer and $(C_1,..., C_N,Q)$ a random element of $GL(d, \R)^N x \R^d$. We consider solutions of multivariate smoothing transforms, i.e. random variables $R$ satisfying $$R \eqdist \sum_{i=1}^N C_i R_i +Q $$ where $\eqdist$ denotes equality in distribution, and $R, R_1,..., R_N$ are independent identically distributed $\R^d$-valued random variables, and independent of…
▽ More
Let $N > 1$ be a fixed integer and $(C_1,..., C_N,Q)$ a random element of $GL(d, \R)^N x \R^d$. We consider solutions of multivariate smoothing transforms, i.e. random variables $R$ satisfying $$R \eqdist \sum_{i=1}^N C_i R_i +Q $$ where $\eqdist$ denotes equality in distribution, and $R, R_1,..., R_N$ are independent identically distributed $\R^d$-valued random variables, and independent of $(C_1,..., C_N, Q)$. We briefly review conditions for the existence of solutions, and then study their asymptotic behaviour. We show that under natural conditions, these solutions exhibit heavy tails. Our results also cover the case of complex valued weights $(C_1,..., C_N)$.
△ Less
Submitted 5 February, 2013; v1 submitted 8 June, 2012;
originally announced June 2012.
-
On multidimensional Mandelbrot's cascades
Authors:
Dariusz Buraczewski,
Ewa Damek,
Yves Guivarc'h,
Sebastian Mentemeier
Abstract:
Let $Z$ be a random variable with values in a proper closed convex cone $C\subset \mathbb{R}^d$, $A$ a random endomorphism of $C$ and $N$ a random integer. We assume that $Z$, $A$, $N$ are independent. Given $N$ independent copies $(A_i,Z_i)$ of $(A,Z)$ we define a new random variable $\hat Z = \sum_{i=1}^N A_i Z_i$. Let $T$ be the corresponding transformation on the set of probability measures on…
▽ More
Let $Z$ be a random variable with values in a proper closed convex cone $C\subset \mathbb{R}^d$, $A$ a random endomorphism of $C$ and $N$ a random integer. We assume that $Z$, $A$, $N$ are independent. Given $N$ independent copies $(A_i,Z_i)$ of $(A,Z)$ we define a new random variable $\hat Z = \sum_{i=1}^N A_i Z_i$. Let $T$ be the corresponding transformation on the set of probability measures on $C$ i.e. $T$ maps the law of $Z$ to the law of $\hat Z$. If the matrix $\mathbb{E}[N] \mathbb{E} [A]$ has dominant eigenvalue 1, we study existence and properties of fixed points of $T$ having finite nonzero expectation. Existing one dimensional results concerning $T$ are extended to higher dimensions. In particular we give conditions under which such fixed points of $T$ have multidimensional regular variation in the sense of extreme value theory and we determine the index of regular variation.
△ Less
Submitted 13 March, 2014; v1 submitted 8 September, 2011;
originally announced September 2011.
-
Asymptotics of stationary solutions of multivariate stochastic recursions with heavy tailed inputs and related limit theorems
Authors:
Dariusz Buraczewski,
Ewa Damek,
Mariusz Mirek
Abstract:
Let $Φ_n$ be an i.i.d. sequence of Lipschitz mappings of $\R^d$. We study the Markov chain $\{X_n^x\}_{n=0}^\infty$ on $\R^d$ defined by the recursion $X_n^x = Φ_n(X^x_{n-1})$, $n\in\N$, $X_0^x=x\in\R^d$. We assume that $Φ_n(x)=Φ(A_n x,B_n(x))$ for a fixed continuous function $Φ:\R^d\times \R^d\to\R^d$, commuting with dilations and i.i.d random pairs $(A_n,B_n)$, where $A_n\in {End}(\R^d)$ and…
▽ More
Let $Φ_n$ be an i.i.d. sequence of Lipschitz mappings of $\R^d$. We study the Markov chain $\{X_n^x\}_{n=0}^\infty$ on $\R^d$ defined by the recursion $X_n^x = Φ_n(X^x_{n-1})$, $n\in\N$, $X_0^x=x\in\R^d$. We assume that $Φ_n(x)=Φ(A_n x,B_n(x))$ for a fixed continuous function $Φ:\R^d\times \R^d\to\R^d$, commuting with dilations and i.i.d random pairs $(A_n,B_n)$, where $A_n\in {End}(\R^d)$ and $B_n$ is a continuous mapping of $\R^d$. Moreover, $B_n$ is $α$-regularly varying and $A_n$ has a faster decay at infinity than $B_n$. We prove that the stationary measure $ν$ of the Markov chain $\{X_n^x\}$ is $α$-regularly varying. Using this result we show that, if $α<2$, the partial sums $S_n^x=\sum_{k=1}^n X_k^x$, appropriately normalized, converge to an $α$-stable random variable. In particular, we obtain new results concerning the random coefficient autoregressive process $X_n = A_n X_{n-1}+B_n$.
△ Less
Submitted 19 October, 2011; v1 submitted 7 November, 2010;
originally announced November 2010.
-
Convergence to stable laws for a class of multidimensional stochastic recursions
Authors:
Dariusz Buraczewski,
Ewa Damek,
Yves Guivarc'h
Abstract:
We consider a Markov chain $\{X_n\}_{n=0}^\8$ on $\R^d$ defined by the stochastic recursion $X_{n}=M_n X_{n-1}+Q_n$, where $(Q_n,M_n)$ are i.i.d. random variables taking values in the affine group $H=\R^d\rtimes {\rm GL}(\R^d)$. Assume that $M_n$ takes values in the similarity group of $\R^d$, and the Markov chain has a unique stationary measure $ν$, which has unbounded support. We denote by…
▽ More
We consider a Markov chain $\{X_n\}_{n=0}^\8$ on $\R^d$ defined by the stochastic recursion $X_{n}=M_n X_{n-1}+Q_n$, where $(Q_n,M_n)$ are i.i.d. random variables taking values in the affine group $H=\R^d\rtimes {\rm GL}(\R^d)$. Assume that $M_n$ takes values in the similarity group of $\R^d$, and the Markov chain has a unique stationary measure $ν$, which has unbounded support. We denote by $|M_n|$ the expansion coefficient of $M_n$ and we assume $\E |M|^\a=1$ for some positive $\a$. We show that the partial sums $S_n=\sum_{k=0}^n X_k$, properly normalized, converge to a normal law ($\a\ge 2$) or to an infinitely divisible law, which is stable in a natural sense ($\a<2$). These laws are fully nondegenerate, if $ν$ is not supported on an affine hyperplane. Under a natural hypothesis, we prove also a local limit theorem for the sums $S_n$. If $\a\le 2$, proofs are based on the homogeneity at infinity of $ν$ and on a detailed spectral analysis of a family of Fourier operators $P_v$ considered as perturbations of the transition operator $P$ of the chain $\{X_n \}$. The characteristic function of the limit law has a simple expression in terms of moments of $ν$ ($\a > 2$) or of the tails of $ν$ and of stationary measure for an associated Markov operator ($\a\le 2$). We extend the results to the situation where $M_n$ is a random generalized similarity.
△ Less
Submitted 10 November, 2008; v1 submitted 25 September, 2008;
originally announced September 2008.
-
On the invariant measure of the random difference equation $X_n=A_n X_{n-1}+ B_n$ in the critical case
Authors:
Sara Brofferio,
Dariusz Buraczewski,
Ewa Damek
Abstract:
We consider the autoregressive model on $\R^d$ defined by the following stochastic recursion $X_n = A_n X_{n-1}+B_n$, where $\{(B_n,A_n)\}$ are i.i.d. random variables valued in $\R^d\times \R^+$. The critical case, when $\E\big[\log A_1\big]=0$, was studied by Babillot, Bougeorol and Elie, who proved that there exists a unique invariant Radon measure $ν$ for the Markov chain $\{X_n \}$. In the…
▽ More
We consider the autoregressive model on $\R^d$ defined by the following stochastic recursion $X_n = A_n X_{n-1}+B_n$, where $\{(B_n,A_n)\}$ are i.i.d. random variables valued in $\R^d\times \R^+$. The critical case, when $\E\big[\log A_1\big]=0$, was studied by Babillot, Bougeorol and Elie, who proved that there exists a unique invariant Radon measure $ν$ for the Markov chain $\{X_n \}$. In the present paper we prove that the weak limit of properly dilated measure $ν$ exists and defines a homogeneous measure on $\R^d\setminus \{0\}$.
△ Less
Submitted 10 November, 2008; v1 submitted 10 September, 2008;
originally announced September 2008.
-
On invariant measures of stochastic recursions in a critical case
Authors:
Dariusz Buraczewski
Abstract:
We consider an autoregressive model on $\mathbb{R}$ defined by the recurrence equation $X_n=A_nX_{n-1}+B_n$, where $\{(B_n,A_n)\}$ are i.i.d. random variables valued in $\mathbb{R}\times\mathbb{R}^+$ and $\mathbb {E}[\log A_1]=0$ (critical case). It was proved by Babillot, Bougerol and Elie that there exists a unique invariant Radon measure of the process $\{X_n\}$. The aim of the paper is to in…
▽ More
We consider an autoregressive model on $\mathbb{R}$ defined by the recurrence equation $X_n=A_nX_{n-1}+B_n$, where $\{(B_n,A_n)\}$ are i.i.d. random variables valued in $\mathbb{R}\times\mathbb{R}^+$ and $\mathbb {E}[\log A_1]=0$ (critical case). It was proved by Babillot, Bougerol and Elie that there exists a unique invariant Radon measure of the process $\{X_n\}$. The aim of the paper is to investigate its behavior at infinity. We describe also stationary measures of two other stochastic recursions, including one arising in queuing theory.
△ Less
Submitted 19 October, 2007;
originally announced October 2007.
-
Maximum boundary regularity of bounded Hua-harmonic functions on tube domains
Authors:
Aline Bonami,
Dariusz Buraczewski,
Ewa Damek,
Andrzej Hulanicki,
Philippe Jaming
Abstract:
In this paper we prove that bounded Hua-harmonic functions on tube domains that satisfy some boundary regularity condition are necessarily pluriharmonic. In doing so, we show that a similar theorem is true on one-dimensional extensions of the Heisenberg group or equivalently on the Siegel upper half-plane.
In this paper we prove that bounded Hua-harmonic functions on tube domains that satisfy some boundary regularity condition are necessarily pluriharmonic. In doing so, we show that a similar theorem is true on one-dimensional extensions of the Heisenberg group or equivalently on the Siegel upper half-plane.
△ Less
Submitted 3 February, 2004;
originally announced February 2004.
-
Hua system and pluriharmonicity for symmetric irreducible Siegel domains of type II
Authors:
A. Bonami,
D. Buraczewski,
E. Damek,
A. Hulanicki,
R. Penney,
B. Trojan
Abstract:
We consider the Johnson-Koranyi-Hua system on symmetric Siegel domains of type two. We prove that all functions which are annihilated by the system and satisfy an H^2 integrability condition are pluriharmonic. So the situation is completely different on type two domains than on tube type domains: it was proved by Johnson and Koranyi that on symmetric tube type domains the system characterizes Po…
▽ More
We consider the Johnson-Koranyi-Hua system on symmetric Siegel domains of type two. We prove that all functions which are annihilated by the system and satisfy an H^2 integrability condition are pluriharmonic. So the situation is completely different on type two domains than on tube type domains: it was proved by Johnson and Koranyi that on symmetric tube type domains the system characterizes Poisson-Szego integrals.
△ Less
Submitted 7 September, 2000;
originally announced September 2000.
