Table of Contents
Fetching ...

Exit Time Analysis For Kesten's Stochastic Recurrence Equations

Chang-Han Rhee, Jeeho Ryu, Insuk Seo

TL;DR

This paper analyzes exit times for Kesten's stochastic recurrence equation X_{n+1}=A_{n+1}X_n+B_{n+1} in R^d, uncovering a sharp dichotomy governed by the sign of the Lyapunov exponent γ_L.In the contractive regime (γ_L<0) the mean exit time E[τ_R(x0)] grows polynomially with radius R, with exponent α solving h_A(α)=1, and α coinciding with the tail index of the stationary distribution; the authors provide both upper and lower bounds and a univariate refinement when α≥2.In the explosive regime (γ_L>0) the exit time scales logarithmically with R: E[τ_R(x0)] is sandwiched between constants times log R, with a nearly sure lower bound of 1/γ_L and a technically involved upper bound derived from a submartingale construction.The results hold under a broad yet verifiable set of assumptions that are weaker than classical Kesten conditions and are illustrated via applications to stochastic gradient descent on quadratic losses and ARCH/GARCH time-series models, solidifying the link between stochastic recurrence dynamics and practical algorithms.

Abstract

Kesten's stochastic recurrent equation is a classical subject of research in probability theory and its applications. Recently, it has garnered attention as a model for stochastic gradient descent with a quadratic objective function and the emergence of heavy-tailed dynamics in machine learning. This context calls for analysis of its asymptotic behavior under both negative and positive Lyapunov exponents. This paper studies the exit times of the Kesten's stochastic recurrence equation in both cases. Depending on the sign of Lyapunov exponent, the exit time scales either polynomially or logarithmically as the radius of the exit boundary increases.

Exit Time Analysis For Kesten's Stochastic Recurrence Equations

TL;DR

This paper analyzes exit times for Kesten's stochastic recurrence equation X_{n+1}=A_{n+1}X_n+B_{n+1} in R^d, uncovering a sharp dichotomy governed by the sign of the Lyapunov exponent γ_L.In the contractive regime (γ_L<0) the mean exit time E[τ_R(x0)] grows polynomially with radius R, with exponent α solving h_A(α)=1, and α coinciding with the tail index of the stationary distribution; the authors provide both upper and lower bounds and a univariate refinement when α≥2.In the explosive regime (γ_L>0) the exit time scales logarithmically with R: E[τ_R(x0)] is sandwiched between constants times log R, with a nearly sure lower bound of 1/γ_L and a technically involved upper bound derived from a submartingale construction.The results hold under a broad yet verifiable set of assumptions that are weaker than classical Kesten conditions and are illustrated via applications to stochastic gradient descent on quadratic losses and ARCH/GARCH time-series models, solidifying the link between stochastic recurrence dynamics and practical algorithms.

Abstract

Kesten's stochastic recurrent equation is a classical subject of research in probability theory and its applications. Recently, it has garnered attention as a model for stochastic gradient descent with a quadratic objective function and the emergence of heavy-tailed dynamics in machine learning. This context calls for analysis of its asymptotic behavior under both negative and positive Lyapunov exponents. This paper studies the exit times of the Kesten's stochastic recurrence equation in both cases. Depending on the sign of Lyapunov exponent, the exit time scales either polynomially or logarithmically as the radius of the exit boundary increases.

Paper Structure

This paper contains 30 sections, 41 theorems, 345 equations, 1 figure.

Key Result

Theorem 2.3

Under Assumption Ass_Cont1, there exists a unique stationary distribution $\nu_{\infty}$ of the process eq:AMP.

Figures (1)

  • Figure 2.1: Two possible shapes of $h_\mathbf{A}$.

Theorems & Definitions (90)

  • Definition 2.1
  • Theorem 2.3: Kesten's Theorem
  • proof
  • Theorem 2.4
  • proof
  • Remark 2.5: Remarks on Assumption \ref{['Ass_Cont2']}
  • Remark 3.1: Remarks on Assumption \ref{['Ass_Cont3']}
  • Remark 3.2: Remarks on Assumption \ref{['Ass_Cont4']}
  • Remark 3.3: Remarks on Assumption \ref{['Ass_Cont5']}
  • Theorem 3.4
  • ...and 80 more