An Approach to Obtain Upper Ergodicity Bounds for Some QBDs with Countable State Space

Usually, when the computation of limiting distributions of (in)homogeneous (in)finite continuous-time Markov chains (CTMC) has to be performed numerically, the algorithm has to be told when to stop the computation. Such an instruction can be constructed based on available ergodicity bounds. One of the analytical methods to obtain ergodicity bounds for CTMCs is the logarithmic norm method. It can be applied to any CTMC; however, since the method requires a guessing step (search for proper Lyapunov functions), which may not be successful, the obtained bounds are not always meaningful. Moreover, the guessing step in the method cannot be eliminated or automated and has to be performed in each new use-case, i.e., for each new structure of the infinitesimal matrix. However, the simplicity of the method makes attempts to expand its scope tempting. In this paper, such an attempt is made. We present a new technique that allows one to apply, in one unified way, the logarithmic norm method to QBDs with countable state spaces. The technique involves the preprocessing of the infinitesimal matrix of the QBD, finding bounding for its blocks, and then merging them into the single explicit upper bound. The applicability of the technique is demonstrated through a series of examples.

Authors

Institutions

Publication Details

Journal
Mathematics
Published
2025-08-14
DOI
https://doi.org/10.3390/math13162604
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

An Approach to Obtain Upper Ergodicity Bounds for Some QBDs with Countable State Space

Yacov Satin, Alexander Zeifman, Rostislav Razumchik
Mathematics
Formal Methods in Verification
article

An Approach to Obtain Upper Ergodicity Bounds for Some QBDs with Countable State Space

Yacov Satin, Alexander Zeifman, Rostislav Razumchik
article en

Abstract

Usually, when the computation of limiting distributions of (in)homogeneous (in)finite continuous-time Markov chains (CTMC) has to be performed numerically, the algorithm has to be told when to stop the computation. Such an instruction can be constructed based on available ergodicity bounds. One of the analytical methods to obtain ergodicity bounds for CTMCs is the logarithmic norm method. It can be applied to any CTMC; however, since the method requires a guessing step (search for proper Lyapunov functions), which may not be successful, the obtained bounds are not always meaningful. Moreover, the guessing step in the method cannot be eliminated or automated and has to be performed in each new use-case, i.e., for each new structure of the infinitesimal matrix. However, the simplicity of the method makes attempts to expand its scope tempting. In this paper, such an attempt is made. We present a new technique that allows one to apply, in one unified way, the logarithmic norm method to QBDs with countable state spaces. The technique involves the preprocessing of the infinitesimal matrix of the QBD, finding bounding for its blocks, and then merging them into the single explicit upper bound. The applicability of the technique is demonstrated through a series of examples.

MathematicsVol. 13(16)
Russian Academy of Sciences (RU), Vologda State University (RU), Institute of Gene Biology (RU)
Ministry of Science and Higher Education of the Russian Federation
Openalex Percentile: Top 77%
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

An Approach to Obtain Upper Ergodicity Bounds for Some QBDs with Countable State Space — Yacov Satin, Alexander Zeifman, et al. · Mathematics (2025) | TGRS Research Map | TGRS