Let $τ(x)$ be the first time the reflected process $Y$ of a Levy processes $X$ crosses x>0. The main aim of the paper is to investigate the asymptotic dependence of the path functionals: $Y(t) = X(t) - \inf_{0\leq s\leq t}X(s)$, $M(t,x)=\sup_{0\leq s\leq t}Y(s)-x$ and $Z(x)=Y(τ(x))-x$. We prove that under Cramer's condition on X(1), the functionals $Y(t)$, $M(t,y)$ and $Z(x+y)$ are asymptotically independent as $\min\{t,y,x\}\to\infty$. We also characterise the law of the limiting overshoot $Z(\infty)$ of the reflected process. If, as $\min\{t,x\}\to\infty$, the quantity $t\te{-γx}$ has a positive limit ($γ$ denotes the Cramér coefficient), our results together with the theorem of Doney & Maller (2005) imply the existence and the explicit form of the joint weak limit $(Y(\infty),M(\infty),Z(\infty))$.
The joint distribution of value and local time for Brownian Motion has been reported by Borodin and Salminen. Its asymptotic behavior for recurrent random walk has been presented by Jain and Pruitt. Motivated by the need for queue size control during a pandemic (Hassin, Meilijson and Perlman), the current study presents closed form formulas for random walk and reflected random walk with $\pm 1$ increments, not necessarily fair.
Let $τ(x)$ be the epoch of first entry into the interval $(x,\infty)$, $x>0$, of the reflected process $Y$ of a Lévy process $X$, and define the overshoot $Z(x) = Y(τ(x))-x$ and undershoot $z(x) = x - Y(τ(x)-)$ of $Y$ at the first-passage time over the level $x$. In this paper we establish, separately under the Cramér and positive drift assumptions, the existence of the weak limit of $(z(x), Z(x))$ as $x$ tends to infinity and provide explicit formulae for their joint CDFs in terms of the Lévy measure of $X$ and the renewal measure of the dual of $X$. We apply our results to analyse the behavi…
Let $π$ be the occupancy density of an obliquely reflected Brownian motion in the half plane and let ($ρ$, $α$) be the polar coordinates of a point in the upper half plane. This work determines the exact asymptotic behavior of $π$($ρ$, $α$) as $ρ$ $\rightarrow$ $\infty$ with $α$ $\in$ (0, $π$). We find explicit functions a, b, c such that $π$($ρ$, $α$) $\sim$ $ρ$$\rightarrow$$\infty$ a($α$)$ρ$ b($α$) e --c($α$)$ρ$. This closes an open problem first stated by Professor J. Michael Harrison in August 2013. We also compute the exact asymptotics for the tail distribution of the boundary occupancy m…
Brownian motion in R 2 + with covariance matrix $Σ$ and drift $μ$ in the interior and reflection matrix R from the axes is considered. The asymptotic expansion of the stationary distribution density along all paths in R 2 + is found and its main term is identified depending on parameters ($Σ$, $μ$, R). For this purpose the analytic approach of Fayolle, Iasnogorodski and Malyshev in [12] and [36], restricted essentially up to now to discrete random walks in Z 2 + with jumps to the nearest-neighbors in the interior is developed in this article for diffusion processes on R 2 + with reflections on…
In this paper we analyze a Lévy process reflected at a general (possibly random) barrier. For this process we prove Central Limit Theorem for the first passage time. We also give the finite-time first passage probability asymptotics.
The reflected process of a random walk or Lévy process arises in many areas of applied probability, and a question of particular interest is how the tail of the distribution of the heights of the excursions away from zero behaves asymptotically. The Lévy analogue of this is the tail behaviour of the characteristic measure of the height of an excursion. Apparently the only case where this is known is when Cramér's condition hold. Here we establish the asymptotic behaviour for a large class of Lévy processes which have exponential moments but do not satisfy Cramér's condition. Our proof also app…
Let $X_H(t), t\ge 0$ be a fractional Brownian motion with Hurst index $H\in(0,1}$ and define a gamma-reflected process $W_\Ga(t)=X_H(t)-ct-\gammainf_{s\in[0,t]}\left(X_H(s)-cs \right)$, $t\ge0$ with $c>0,γ\in [0,1]$ two given constants. In this paper we establish the exact tail asymptotic behaviour of $\sup_{t\in [0,T]} W_γ(t)$ for any $T\in (0,\IF]$. Furthermore, we derive the exact tail asymptotic behaviour of the supremum of certain non-homogeneous mean-zero Gaussian random fields.
In this note we first consider local times of random walks killed at leaving positive half-axis. We prove that the distribution of the properly rescaled local time at point $N$ conditioned on being positive converges towards an exponential distribution. The proof is based on known results for conditioned random walks, which allow to determine the asymptotic behaviour of moments of local times. Using this information we also show that the field of local times of a reflected random walk converges in the sense of finite dimensional distributions. This is in the spirit of the seminal result by Kni…
This paper extends previous work by the authors. We consider the local time process of a strong Markov process, add negative drift, and reflect it à la Skorokhod. The resulting process is used to model a fluid queue. We derive an expression for the joint law of the duration of an excursion, the maximum value of the process on it, and the time distance between successive excursions. We work with a properly constructed stationary version of the process. Examples are also given in the paper.
For a given centered Gaussian process with stationary increments $\{X(t), t\geq 0\}$ and $c>0$, let $$ W_γ(t)=X(t)-ct-γ\inf_{0\leq s\leq t}\left(X(s)-cs\right), \quad t\geq 0$$ denote the $γ$-reflected process, where $γ\in (0,1)$. This process is introduced in the context of risk theory to model surplus process that include tax payments of loss-carry forward type.In this contribution we derive asymptotic approximations of both the ruin probability and the joint distribution of first and last passage times given that ruin occurs. We apply our findings to the cases with $X$ being the multiplex f…
We consider a Markov-modulated Brownian motion reflected to stay in a strip [0,B]. The stationary distribution of this process is known to have a simple form under some assumptions. We provide a short probabilistic argument leading to this result and explaining its simplicity. Moreover, this argument allows for generalizations including the distribution of the reflected process at an independent exponentially distributed epoch. Our second contribution concerns transient behavior of the reflected system. We identify the joint law of the processes t,X(t),J(t) at inverse local times.
This paper considers a Lévy-driven queue (i.e., a Lévy process reflected at 0), and focuses on the distribution of $M(t)$, that is, the minimal value attained in an interval of length $t$ (where it is assumed that the queue is in stationarity at the beginning of the interval). The first contribution is an explicit characterization of this distribution, in terms of Laplace transforms, for spectrally one-sided Lévy processes (i.e., either only positive jumps or only negative jumps). The second contribution concerns the asymptotics of $\prob{M(T_u)> u}$ (for different classes of functions $T_u$ a…
Define a gamma-reflected process W_γ(t)=Y_H(t)-γ\inf_{s\in[0,t]}Y_H(s), t\ge0 with input process {Y_H(t), t\ge 0} which is a fractional Brownian motion with Hurst index H\in (0,1) and a negative linear trend. In risk theory {u-W_γ(t), t\ge 0} is referred to as the risk process with tax payments of a loss-carry-forward type. For various risk processes numerous results are known for the approximation of the first and last passage times to 0 (ruin times) when the initial reserve $u$ goes to infinity. In this paper we show that for the gamma-reflected process the conditional (standardized) first a…
In this note, we study the asymptotic behaviour near extinction of (sub-) critical continuous state branching processes. In particular, we establish an analogue of Khintchin's law of the iterated logarithm near extinction time for a continuous state branching process whose branching mechanism satisfies a given condition and its reflected process at its infimum.
Let $X$ be a real valued Lévy process that is in the domain of attraction of a stable law without centering with norming function $c.$ As an analogue of the random walk results in \cite{vw} and \cite{rad} we study the local behaviour of the distribution of the lifetime $ζ$ under the characteristic measure $\underline{n}$ of excursions away from 0 of the process $X$ reflected in its past infimum, and of the first passage time of $X$ below $0,$ $T_{0}=\inf \{t>0:X_{t}<0\},$ under $\mathbb{P}_{x}(\cdot),$ for $x>0,$ in two different regimes for $x,$ viz. $x=o(c(\cdot))$ and $x>D c(\cdot),$ for so…
Considering a simple symmetric random walk in dimension $d\geq 3$, we study the almost sure joint asymptotic behavior of two objects: first the local times of a pair of neighboring points, then the local time of a point and the occupation time of the surface of the unit ball around it.
We provide integral formulae for the Laplace transform of the entrance law of the reflected excursions for symmetric Lévy processes in terms of their characteristic exponent. For subordinate Brownian motions and stable processes we express the density of the entrance law in terms of the generalized eigenfunctions for the semigroup of the process killed when exiting the positive half-line. We use the formulae to study in-depth properties of the density of the entrance law such as asymptotic behavior of its derivatives in time variable.
In this work we develop an effective Monte Carlo method for estimating sensitivities, or gradients of expectations of sufficiently smooth functionals, of a reflected diffusion in a convex polyhedral domain with respect to its defining parameters --- namely, its initial condition, drift and diffusion coefficients, and directions of reflection. Our method, which falls into the class of infinitesimal perturbation analysis (IPA) methods, uses a probabilistic representation for such sensitivities as the expectation of a functional of the reflected diffusion and its associated derivative process. Th…
Reflected Brownian motion (RBM) in a convex polyhedral cone arises in a variety of applications ranging from the theory of stochastic networks to math finance, and under general stability conditions, it has a unique stationary distribution. In such applications, to implement a stochastic optimization algorithm or quantify robustness of a model, it is useful to characterize the dependence of stationary performance measures on model parameters. In this work we characterize parametric sensitivities of the stationary distribution of an RBM in a simple convex polyhedral cone; that is, sensitivities…
This note is devoted to the study of the maximum of the excursion of a random walk with negative drift and light-tailed increments. More precisely, we determine the local asymptotics of the joint distribution of the length, maximum and the time at which this maximum is achieved. This result allows one to obtain a local central limit theorems for the length of the excursion conditioned on large values of the maximum.
Assume that claims in a portfolio of insurance contracts are described by independent and identically distributed random variables with regularly varying tails and occur according to a near mixed Poisson process. We provide a collection of results pertaining to the joint asymptotic Laplace transforms of the normalized sums of the smallest and largest claims, when the length of the considered time interval tends to infinity. The results crucially depend on the value of the tail index of the claim distribution, as well as on the number of largest claims under consideration.
We are developing a new method for the analysis of queuing systems with heterogeneous in time and space compound (marked) Poisson input flow. The state space of the input flow is embedded in a higher-dimensional space with a homogeneous marked Poisson field on it. We prove limit theorems for partial sums of marks under the ordering of field points by coordinates.
This paper studies the heavy-traffic asymptotics for the multiclass FIFO M${}^X$/G/1 queue. We first derive the probability generating function of the joint queue length distribution. Using the probability generating function, we then present heavy-traffic asymptotic formulas for the joint queue length distribution and its joint moments (i.e., the joint queue length moments). These formulas are proved under weaker conditions on the service time distributions, compared to the ones reported in the literature. This fact leads us to conjectures that some of the conditions made in the literature ar…
Tree shape statistics provide valuable quantitative insights into evolutionary mechanisms underpinning phylogenetic trees, a commonly used graph representation of evolution systems ranging from viruses to species. By developing limit theorems for a version of extended Pólya urn models in which negative entries are permitted for their replacement matrices, we present strong laws of large numbers and central limit theorems for asymptotic joint distributions of two subtree counting statistics, the number of cherries and that of pitchforks, for random phylogenetic trees generated by two widely use…
We investigate the Levy insurance risk model with tax under Cramér's condition. A direct analogue of Cramér's estimate for the probability of ruin in this model is obtained, together with the asymptotic distribution, conditional on ruin occurring, of several variables of interest related to ruin including the surplus immediately prior to ruin (undershoot) and shortfall at ruin (overshoot). We also compute the present value of all tax paid conditional on ruin occurring. The proof involves first transferring results from the model with no tax to the reflected process, and from there to the model…
In this paper, joint asymptotics of powered maxima for a triangular array of bivariate powered Gaussian random vectors are considered. Under the Hüsler-Reiss condition, limiting distributions of powered maxima are derived. Furthermore, the second-order expansions of the joint distributions of powered maxima are established under the refined Hüsler-Reiss condition.
The perturbed GUE corners ensemble is the joint distribution of eigenvalues of all principal submatrices of a matrix $G+\mathrm{diag}(\mathbf{a})$, where $G$ is the random matrix from the Gaussian Unitary Ensemble (GUE), and $\mathrm{diag}(\mathbf{a})$ is a fixed diagonal matrix. We introduce Markov transitions based on exponential jumps of eigenvalues, and show that their successive application is equivalent in distribution to a deterministic shift of the matrix. This result also leads to a new distributional symmetry for a family of reflected Brownian motions with drifts coming from an arith…
In this paper, we consider a data matrix $X_N\in\mathbb{R}^{N\times p}$ where all the rows are i.i.d. samples in $\mathbb{R}^p$ of mean zero and covariance matrix $Σ\in\mathbb{R}^{p\times p}$. Here the population matrix $Σ$ is of finite rank perturbation of the identity matrix. This is the "spiked population model" first proposed by Johnstone. As $N, p\to\infty$ but $N/p \to γ\in(1, \infty)$, for the sample covariance matrix $S_N := X_NX_N^T/N$, we establish the joint distribution of the largest and the smallest few packs of eigenvalues. Inside each pack, they will behave the same as the eigen…
We determine the rate of decrease of the right tail distribution of the exponential functional of a Levy process with a convolution equivalent Levy measure. Our main result establishes that it decreases as the right tail of the image under the exponential function of the Levy measure of the underlying Levy process. The method of proof relies on fluctuation theory of Levy processes and an explicit path-wise representation of the exponential functional as the exponential functional of a bivariate subordinator. Our techniques allow us to establish rather general estimates of the measure of the ex…
In this paper, we consider a data matrix $X\in\mathbb{C}^{N\times M}$ where all the columns are i.i.d. samples being $N$ dimensional complex Gaussian of mean zero and covariance $Σ\in\mathbb{C}^{N\times N}$. Here the population matrix $Σ$ is of finite rank perturbation of the identity matrix. This is the "spiked population model" first proposed by Johnstone in \cite{21}. As $M, N\to\infty$ but $M/N = γ\in(1, \infty)$, we first establish in this paper the asymptotic distribution of the smallest eigenvalue of the sample covariance matrix $S:= XX^*/M$. It also exhibits a phase transition phenomen…
We consider queueing systems with n parallel queues under a Join the Shortest Queue (JSQ) policy in the Halfin-Whitt heavy traffic regime. We use the martingale method to prove that a scaled process counting the number of idle servers and queues of length exactly 2 weakly converges to a two-dimensional reflected Ornstein-Uhlenbeck process, while processes counting longer queues converge to a deterministic system decaying to zero in constant time. This limiting system is comparable to that of the traditional Halfin-Whitt model, but there are key differences in the queueing behavior of the JSQ m…
It is known that simulation of the mean position of a Reflected Random Walk (RRW) $\{W_n\}$ exhibits non-standard behavior, even for light-tailed increment distributions with negative drift. The Large Deviation Principle (LDP) holds for deviations below the mean, but for deviations at the usual speed above the mean the rate function is null. This paper takes a deeper look at this phenomenon. Conditional on a large sample mean, a complete sample path LDP analysis is obtained. Let $I$ denote the rate function for the one dimensional increment process. If $I$ is coercive, then given a large simul…
The joint distribution of the maximum loss and the maximum gain is obtained for a spectrally negative Levy process until the passage time of a given level. Their marginal distributions up to an independent exponential time are also provided. The existing formulas for Brownian motion with drift are recovered using the particular scale functions.Keywords Maximum drawdown Maximum drawup Spectrally negative Reflected process Fluctuation theory
A two-sided exit problem is solved for a difference of a compound Poisson process and a compound renewal process. More precisely, the Laplace transforms of the joint distribution of the first exit time, the value of the overshoot and the value of a linear component at this instant are found. Further, we study the process reflected in its supremum. We determine the main two-boundary characteristics of the process reflected in its supremum. These results are then applied for studying the $ M^{\varkappa}|G^δ|1|B$ system. We derive the distribution of a busy period and the numbers of customers in …
Let M be a compact Riemannian manifold with smooth boundary. We obtain the exact long time asymptotic behaviour of the heat kernel on abelian coverings of M with mixed Dirichlet and Neumann boundary conditions. As an application, we study the long time behaviour of the abelianized winding of reflected Brownian motions in M. In particular, we prove a Gaussian type central limit theorem showing that when rescaled appropriately, the fluctuations of the abelianized winding are normally distributed with an explicit covariance matrix.
How long does a diffusing molecule spend in a close vicinity of a confining boundary or a catalytic surface? This quantity is determined by the boundary local time, which plays thus a crucial role in the description of various surface-mediated phenomena such as heterogeneous catalysis, permeation through semi-permeable membranes, or surface relaxation in nuclear magnetic resonance. In this paper, we obtain the probability distribution of the boundary local time in terms of the spectral properties of the Dirichlet-to-Neumann operator. We investigate the short-time and long-time asymptotic behav…
Let $p_t(x)$, $f_t(x)$ and $q_t^*(x)$ be the densities at time $t$ of a real Lévy process, its running supremum and the entrance law of the reflected excursions at the infimum. We provide relationships between the asymptotic behaviour of $p_t(x)$, $f_t(x)$ and $q_t^*(x)$, when $t$ is small and $x$ is large. Then for large $x$, these asymptotic behaviours are compared to this of the density of the Lévy measure. We show in particular that, under mild conditions, if $p_t(x)$ is comparable to $tν(x)$, as $t\rightarrow0$ and $x\rightarrow\infty$, then so is $f_t(x)$.
Generalized Maxwell distribution is an extension of the classic Maxwell distribution. In this paper, we concentrate on the joint distributional asymptotics of normalized maxima and minima. Under optimal normalizing constants, asymptotic expansions of joint distribution and density for normalized partial maxima and minima are established. These expansions are used to educe speeds of convergence of joint distribution and density of normalized maxima and minima tending to its corresponding ultimate limits. Numerical analysis are provided to support our results.
Non-Reversible Langevin Algorithms for Constrained Sampling
University of California, Irvine（加利福尼亚大学欧文分校）；Florida State University（佛罗里达州立大学）；Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））
We study the asymptotic behavior of a diffusion process with small diffusion in a domain $D$. This process is reflected at $\partial D$ with respect to a co-normal direction pointing inside $D$. Our asymptotic result is used to study the long time behavior of the solution of the corresponding parabolic PDE with Neumann boundary condition.
Generalizing previous work of Hora (1998) on the asymptotic spectral analysis for the Hamming graph $H(n,q)$ which is the $n^{\mathrm{th}}$ Cartesian power $K_q^{\square n}$ of the complete graph $K_q$ on $q$ vertices, we describe the possible limits of the joint spectral distribution of the pair $(G^{\square n},\overline{G}\vphantom{G}^{\square n})$ of the $n^{\mathrm{th}}$ Cartesian powers of a strongly regular graph $G$ and its complement $\overline{G}$, where we let $n\rightarrow\infty$, and $G$ may vary with $n$. This result is an analogue of the bivariate central limit theorem, and we ob…
The paper addresses a joint sequential changepoint detection and identification/isolation problem for a general stochastic model, assuming that the observed data may be dependent and non-identically distributed, the prior distribution of the change point is arbitrary, and the post-change hypotheses are composite. The developed detection-identification theory generalizes the changepoint detection theory developed by Tartakovsky (2019) to the case of multiple composite post-change hypotheses when one has not only to detect a change as quickly as possible but also to identify (or isolate) the tru…
Let (X,Y) be a bivariate elliptical random vector with associated random radius in the Gumbel max-domain of attraction. In this paper we obtain a second order asymptotic expansion of the joint survival probability P(X > x, Y> y) for x,y large. Further, based on the asymptotic bounds we discuss some aspects of the statistical modelling of joint survival probabilities and the survival conditional excess probability.
This paper considers population processes in which general, not necessarily Markovian, multivariate Hawkes processes dictate the stochastic arrivals. We establish results to determine the corresponding time-dependent joint probability distribution, allowing for general intensity decay functions, general intensity jumps, and general sojourn times. We obtain an exact, full characterization of the time-dependent joint transform of the multivariate population process and its underlying intensity process in terms of a fixed-point representation and corresponding convergence results. We also derive …
We show that a uniform quadrangulation, its largest 2-connected block, and its largest simple block jointly converge to the same Brownian map in distribution for the Gromov-Hausdorff-Prokhorov topology. We start by deriving a local limit theorem for the asymptotics of maximal block sizes, extending the result in \cite{BFSS}. The resulting diameter bounds for pendant submaps of random quadrangulations straightforwardly lead to Gromov-Hausdorff convergence. To extend the convergence to the Gromov-Hausdorff-Prokhorov topology, we show that exchangeable "uniformly asymptotically negligible" attach…
In the seminal contribution [4] the joint weak convergence of maxima and minima of weakly dependent stationary sequences is derived under some mild asymptotic conditions. In this paper we address additionally the case of incomplete samples assuming that the average proportion of incompleteness converges in probability to some random variable. We show the joint weak convergence of the maxima and minima of both complete and incomplete samples. It turns out that for special cases, maxima and minima are asymptotically independent.
In this paper, we answer a question posed by Kurt Johansson, to find a PDE for the joint distribution of the Airy Process. The latter is a continuous stationary process, describing the motion of the outermost particle of the Dyson Brownian motion, when the number of particles get large, with space and time appropriately rescaled. The question reduces to an asymptotic analysis on the equation governing the joint probability of the eigenvalues of coupled Gaussian Hermitian matrices. The differential equations lead to the asymptotic behavior of the joint distribution and the correlation for the A…
We rigorously derive non-equilibrium space-time fluctuation for the particle density of a system of reflected diffusions in bounded Lipschitz domains in $\mathbb R^d$. The particles are independent and are killed by a time-dependent potential which is asymptotically proportional to the boundary local time. We generalize the functional analytic framework introduced by Kotelenez [19, 20] to deal with time-dependent perturbations. Our proof relies on Dirichlet form method rather than the machineries derived from Kotelenez's sub-martingale inequality. Our result holds for any symmetric reflected d…
In this work, we study a new recursive stochastic algorithm for the joint estimation of quantile and superquantile of an unknown distribution. The novelty of this algorithm is to use the Cesaro averaging of the quantile estimation inside the recursive approximation of the superquantile. We provide some sharp non-asymptotic bounds on the quadratic risk of the superquantile estimator for different step size sequences. We also prove new non-asymptotic $L^p$-controls on the Robbins Monro algorithm for quantile estimation and its averaged version. Finally, we derive a central limit theorem of our j…
