arXiv Science⌕ Search

arXiv subjects

Ion Grama

Publications and source records attributed to Ion Grama.

At least 19 recordsLinked to original sources
arXiv2026

On the tails of the invariant measure for multidimensional affine stochastic recursions in the critical case

We study the behavior at infinity of the invariant Radon measure for the multidimensional affine stochastic recursion $V_n = A_n V_{n-1} + B_n,$ where $(A_n)_{n \geq 1}$ are positive random matrices, $(B_n)_{n \geq 1}$ are random vectors with nonnegative entries, and $(A_n, B_n)_{n \geq 1}$ are independent and identically distributed. In the critical regime where the top Lyapunov exponent of the random matrix products $A_n \cdots A_1$ is zero, Brofferio, Peigné and Pham [6] recently established the existence and uniqueness, up to multiplication by a constant, of an invariant Radon measure with infinite total mass. They proved that the tail behavior of this measure when applied to radial sets is governed by a slowly varying function. Our goal is to show that this slowly varying function is actually bounded. Moreover, we investigate directional tail behavior.

math.PR↗
arXiv2026

Strong non-arithmeticity for Zariski dense subsemigroups

We prove a non-arithmeticity property for the complex eigenvalues of a Zariski dense subsemigroups of real reductive algebraic groups. This property will be used in [7] in order to establish a local limit theorem for the operator norm of products of random matrices.

math.GR↗
arXiv2026

Conditioned random walks on linear groups I: construction of the target harmonic measure

Our objective is to explore random walks on the general linear group, constrained to a specific domain, with a primary focus on establishing the conditioned local limit theorem. This paper represents the first step toward achieving this goal, specifically entailing the construction of a novel entity -- the target harmonic measure. This measure, together with the harmonic function, serves as a pivotal component in establishing the conditioned local limit theorem. Using a reversal identity, we introduce a reversed sequence characterized as a dual random walk with a perturbation depending on future observations. The investigation of such walks, which rely on future information, lies at the heart of this paper. To carry out this study, we develop an approach grounded in the finite-size approximation of perturbations, enabling us to simplify the investigation to an array of Markov chains with increasing dimensions.

math.PR↗
arXiv2025

Local limit theorems for conditioned random walks by the heat kernel approximation

We study the random walk $(S_n)_{n\geq 1}$ with independent and identically distributed real-valued increments having zero mean and an absolute moment of order $2 + δ$ for some $δ> 0$. For any starting point $x \in \mathbb{R}$, let $τ_x = \inf\{k \geq 1 : x + S_k < 0\}$ denote the first exit time of the random walk $x + S_n$ from the half-line $[0, \infty)$. In the previous work [25], we established a Gaussian heat kernel approximation for both the persistence probability $\mathbb{P}(τ_x > n)$ and the joint distribution $\mathbb{P}(x + S_n \leq \cdot, τ_x > n)$, uniformly over $x \in \mathbb{R}$ as $n \to \infty$. In this paper, we leverage these results to establish a novel conditioned local limit theorem for the walk $(x + S_n)_{n \geq 1}$. For $\mathbb{Z}$-valued random walks, we prove that the joint probability $\mathbb{P}(x + S_n = y, τ_x > n)$ is uniformly approximated by a distribution governed by the Gaussian heat kernel over all $x, y \in \mathbb{Z}$ as $n \to \infty$. Our new asymptotic unifies into a single comprehensive formula the classical local limit theorem by Caravenna [6], as well as various results relying on specific assumptions on $x$ and $y$. As a corollary, we obtain a new uniform-in-$x$ asymptotic formula for the local probability $\mathbb{P}(τ_x = n)$. We also extend our analysis to non-lattice random walks.

math.PR↗
arXiv2025

Spinal decomposition, martingale convergence and the Seneta-Heyde scaling for matrix branching random walks

We consider a matrix branching random walk on the semi-group of nonnegative matrices, where we are able to derive, under general assumptions, an analogue of Biggins' martingale convergence theorem for the additive martingale $W_n$, a spinal decomposition theorem, convergence of the derivative martingale $D_n$, and finally, the Seneta-Heyde scaling stating that in the boundary case $c \sqrt{n} W_n \to D_\infty$ a.s., where $D_\infty$ is the limit of the derivative martingale and $c$ is a positive constant. As an important tool that is of interest in its own right, we provide explicit duality results for the renewal measure of centered Markov random walks, relating the renewal measure of the process, killed when the random walk component becomes negative, to the renewal measure of the ascending ladder process.

math.PR↗
arXiv2025

Conditioned local limit theorems for products of positive random matrices

Let $(g_{n})_{n\geq 1}$ be a sequence of independent and identically distributed positive random $d\times d$ matrices, where $d\geq 2$ is an integer. For any starting point $x \in \mathbb{R}_+^d$ with $|x| = 1$ and $y \in \mathbb R$, we define the exit time $τ_{x, y} = \inf \{ k \geq 1: y + \log |g_k \cdots g_1 x| < 0 \}$. In this paper, we investigate the conditioned local probability $\mathbb{P} (y + \log |g_n \cdots g_1 x| \in z + [0, Δ], τ_{x, y} > n)$ under various assumptions on $y$, $z$ and $Δ$. For the case where $z = O(\sqrt{n})$, we establish an exact asymptotic result as $n \to \infty$, uniformly in $y$ and $Δ$, which extends the classical Caravenna conditioned local limit theorem to the case of products of positive random matrices. Our proof does not rely on the reversibility techniques. Furthermore, for arbitrary $z \in \mathbb R_+$, we deduce a uniform upper bound with rate $n^{-3/2}$.

math.PR↗
arXiv2025

Berry-Esseen bound and precise moderate deviations for products of random matrices

Let $(g_{n})_{n\geq 1}$ be a sequence of independent and identically distributed (i.i.d.) $d\times d$ real random matrices. For $n\geq 1$ set $G_n = g_n \ldots g_1$. Given any starting point $x=\mathbb R v\in\mathbb{P}^{d-1}$, consider the Markov chain $X_n^x = \mathbb R G_n v $ on the projective space $\mathbb P^{d-1}$ and the norm cocycle $σ(G_n, x)= \log \frac{|G_n v|}{|v|}$, for an arbitrary norm $|\cdot|$ on $\mathbb R^{d}$. Under suitable conditions we prove a Berry-Esseen type theorem and an Edgeworth expansion for the couple $(X_n^x, σ(G_n, x))$. These results are established using a brand new smoothing inequality on complex plane, the saddle point method and additional spectral gap properties of the transfer operator related to the Markov chain $X_n^x$. Cramér type moderate deviation expansions as well as a local limit theorem with moderate deviations are proved for the couple $(X_n^x, σ(G_n, x))$ with a target function $φ$ on the Markov chain $X_n^x$.

math.PR↗
arXiv2025

Edgeworth expansion and large deviations for the coefficients of products of positive random matrices

Consider the matrix products $G_n: = g_n \ldots g_1$, where $(g_{n})_{n\geq 1}$ is a sequence of independent and identically distributed positive random $d\times d$ matrices. Under the optimal third moment condition, we first establish a Berry-Esseen theorem and an Edgeworth expansion for the $(i,j)$-th entry $G_n^{i,j}$ of the matrix $G_n$, where $1 \leq i, j \leq d$. Using the Edgeworth expansion for $G_n^{i,j}$ under the changed probability measure, we then prove precise upper and lower large deviation asymptotics for the entries $G_n^{i,j}$ subject to an exponential moment assumption. As applications, we deduce local limit theorems with large deviations for $G_n^{i,j}$ and upper and lower large deviations bounds for the spectral radius $ρ(G_n)$ of $G_n$. A byproduct of our approach is the local limit theorem for $G_n^{i,j}$ under the optimal second moment condition. In the proofs we develop a spectral gap theory for the norm cocycle and for the coefficients, which is of independent interest.

math.PR↗
arXiv2024

Limit theorems for critical branching processes in a finite state space Markovian environment

Let $(Z_n)_{n\geq 0}$ be a critical branching process in a random environment defined by a Markov chain $(X_n)_{n\geq 0}$ with values in a finite state space $\mathbb X$. Let $ S_n = \sum_{k=1}^n \ln f_{X_k}'(1)$ be the Markov walk associated to $(X_n)_{n\geq 0}$, where $f_i$ is the offspring generating function when the environment is $i \in \mathbb X$. Conditioned on the event $\{ Z_n>0\}$, we show the non degeneracy of limit law of the normalized number of particles ${Z_n}/{e^{S_n}}$ and determine the limit of the law of $\frac{S_n}{\sqrt{n}} $ jointly with $X_n$. Based on these results we establish a Yaglom-type theorem which specifies the limit of the joint law of $ \log Z_n$ and $X_n$ given $Z_n>0$.

math.PR↗
arXiv2024

On the rate of convergence in the weak invariance principle for dependent random variables with applications to Markov chains

We prove an invariance principle for non-stationary random processes and establish a rate of convergence under a new type of mixing condition. The dependence is exponentially decaying in the gap between the past and the future and is controlled by an assumption on the characteristic function of the finite dimensional increments of the process. The distinct feature of the new mixing condition is that the dependence increases exponentially in the dimension of the increments. The proposed mixing property is particularly suited for processes whose behavior can be described in terms of spectral properties of some related family of operators. Several examples are discussed. We also work out explicit expressions for the constants involved in the bounds. When applied to Markov chains our result specifies the dependence of the constants on the properties of the underlying Banach space and on the initial state of the chain.

math.PR↗
arXiv2024

Asymptotic Equivalence for Nonparametric Regression

We consider a nonparametric model $\mathcal{E}^{n},$ generated by independent observations $X_{i},$ $i=1,...,n,$ with densities $p(x,θ_{i}),$ $i=1,...,n,$ the parameters of which $θ_{i}=f(i/n)\in Θ$ are driven by the values of an unknown function $f:[0,1]\rightarrow Θ$ in a smoothness class. The main result of the paper is that, under regularity assumptions, this model can be approximated, in the sense of the Le Cam deficiency pseudodistance, by a nonparametric Gaussian shift model $Y_{i}=Γ(f(i/n))+\varepsilon _{i},$ where $\varepsilon_{1},...,\varepsilon _{n}$ are i.i.d. standard normal r.v.'s, the function $Γ(θ):Θ\rightarrow \mathrm{R}$ satisfies $Γ^{\prime}(θ)=\sqrt{I(θ)}$ and $I(θ)$ is the Fisher information corresponding to the density $p(x,θ).$

math.ST↗
arXiv2024

A functional Hungarian construction for sums of independent random variables

We develop a Hungarian construction for the partial sum process of independent non-identically distributed random variables. The process is indexed by functions $f$ from a class $\mathcal{H}$, but the supremum over $f\in $ $\mathcal{H}$ is taken outside the probability. This form is a prerequisite for the Komlós-Major-Tusnády inequality in the space of bounded functionals $l^{\infty }(\mathcal{H})$, but contrary to the latter it essentially preserves the classical $n^{-1/2}\log n$ approximation rate over large functional classes $\mathcal{H}$ such as the Hölder ball of smoothness $1/2$. This specific form of a strong approximation is useful for proving asymptotic equivalence of statistical experiments.

math.PR↗
arXiv2024

Asymptotic Equivalence for Nonparametric Generalized Linear Models

We establish that a non-Gaussian nonparametric regression model is asymptotically equivalent to a regression model with Gaussian noise. The approximation is in the sense of Le Cam's deficiency distance $Δ$; the models are then asymptotically equivalent for all purposes of statistical decision with bounded loss. Our result concerns a sequence of independent but not identically distributed observations with each distribution in the same real-indexed exponential family. The canonical parameter is a value $f(t_i)$ of a regression function $f$ at a grid point $t_i$ (nonparametric GLM). When $f$ is in a Hölder ball with exponent $β>\frac 12 ,$ we establish global asymptotic equivalence to observations of a signal $Γ(f(t))$ in Gaussian white noise, where $Γ$ is related to a variance stabilizing transformation in the exponential family. The result is a regression analog of the recently established Gaussian approximation for the i.i.d. model. The proof is based on a functional version of the Hungarian construction for the partial sum process.

math.ST↗
arXiv2024

Gaussian heat kernel asymptotics for conditioned random walks

Consider a random walk $S_n=\sum_{i=1}^n X_i$ with independent and identically distributed real-valued increments with zero mean, finite variance and moment of order $2 + δ$ for some $δ>0$. For any starting point $x\in \mathbb R$, let $τ_x = \inf \left\{ k\geq 1: x+S_{k} < 0 \right\}$ denote the first time when the random walk $x+S_n$ exits the half-line $[0,\infty)$. We investigate the uniform asymptotic behavior over $x\in \mathbb R$ of the persistence probability $\mathbb P (τ_x >n)$ and the joint distribution $\mathbb{P} \left( x + S_n \leq u, τ_x > n \right)$, for $u\geq 0$, as $n \to \infty$. New limit theorems for these probabilities are established based on the heat kernel approximations. Additionally, we evaluate the rate of convergence by proving Berry-Esseen type bounds.

math.PR↗
arXiv2024

The extremal position of a branching random walk on the general linear group

Consider a branching random walk $(G_u)_{u\in \mathbb T}$ on the general linear group $\textrm{GL}(V)$ of a finite dimensional space $V$, where $\mathbb T$ is the associated genealogical tree with nodes $u$. For any starting point $v \in V \setminus\{0\}$ with $\|v\|=1$ and $x = \mathbb R v \in \mathbb P(V)$, let $M^x_n=\max_{|u| = n} \log \| G_u v \|$ denote the maximal position of the walk $\log \| G_u v \|$ in the generation $n$. We first show that under suitable conditions, $\lim_{n \to \infty} \frac{M_n^x }{n} = γ$ almost surely, where $γ\in \mathbb R$ is a constant. Then, in the case when $γ= 0$, under appropriate {\textit boundary conditions}, we refine the last statement by determining the rate of convergence at which $M_n^x$ converges to $-\infty$. We prove in particular that $\lim_{n \to \infty} \frac{M_n^x}{\log n} = -\frac{3}{2α}$ in probability, where $α>0$ is a constant determined by the boundary conditions. Analogous properties are established for the minimal position. As a consequence we derive the asymptotic speed of the maximal and minimal positions for the coefficients, the operator norm and the spectral radius of $G_u$.

math.PR↗
arXiv2024

Conditioned random walks on linear groups II: local limit theorems

We investigate random walks on the general linear group constrained within a specific domain, with a focus on their asymptotic behavior. In a previous work [38], we constructed the associated harmonic measure, a key element in formulating the local limit theorem for conditioned random walks on groups. The primary aim of this paper is to prove this theorem. The main challenge arises from studying the conditioned reverse walk, whose increments, in the context of random walks on groups, depend on the entire future. To achieve our goal, we combine a Caravenna-type conditioned local limit theorem with the conditioned version of the central limit theorem for the reversed walk. The resulting local limit theorem is then applied to derive the local behavior of the exit time.

math.PR↗
arXiv2024

Construction d'un espace de Banach pour le produit de matrices aléatoires

The purpose of this article is to show that Theorems 2.2-2.5 from [1] apply to the product of random matrices considered by Grama, Le Page, and Peigné [2]. This allows us, in particular, to emphasize the general nature of the formulation of our theorems in [1] by showing that our assumptions are verified for previous models.

math.PR↗