Law of Large Numbers for products of random matrices with coefficients in the max-plus semi-ring.

We analyze the asymptotic behavior of random variables $x(n,x_0)$ defined by $x(0,x_0)=x_0$ and $x(n+1,x_0)=A(n)x(n,x_0)$, where $\sAn$ is a stationary and ergodic sequence of random matrices with entries in the semi-ring \mbox{$\R\cup{-\infty}$} whose addition is the $\max$ and whose multiplication is $+$. Such sequences modelize a large class of discrete event systems, among which timed event graphs, 1-bounded Petri nets, some queuing networks, train or computer networks. We give necessary conditions for $\left(\frac{1}{n}x(n,x_0)\right){n\in\N}$ to converge almost surely. Then, we prove a general scheme to give partial converse theorems. When $\max{A_{ij}(0)\neq -\infty}|A_{ij}(0)|$ is integrable, it allows us: - to give a necessary and sufficient condition for the convergence of $\left(\frac{1}{n}x(n,0)\right){n\in\N}$ when the sequence $\left(A(n) \right){n\in\N}$ is i.i.d., - to prove that, if $\left(A(n) \right){n\in\N}$ satisfy a condition of reinforced ergodicity and a condition of fixed structure (i.e. $\P\left(A{ij}(0)=-\infty\right)\in{0,1}$), then $\left(\frac{1}{n}x(n,0)\right){n\in\N}$ converges almost-surely, - and to reprove the convergence of $\left(\frac{1}{n}x(n,0)\right){n\in\N}$ if the diagonal entries are never $-\infty$.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00085782
Author Merlet, Glenn
Maintainer CCSD
Last Updated May 9, 2026, 21:31 (UTC)
Created May 9, 2026, 21:31 (UTC)
Identifier hal-00085782
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut de Recherche Mathématique de Rennes (IRMAR) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest ; Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)
creator Merlet, Glenn
date 2006-07-14T00:00:00
harvest_object_id 7ca5736a-98fa-4dc1-ba18-ff7a18e8b622
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-04-01T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/math.PR/0607406
set_spec type:UNDEFINED