skip to main content
abstract

A compressed cyclic reduction for QBDs with low rank upper and lower transitions

Published:09 April 2012Publication History
Skip Abstract Section

Abstract

Consider a quasi-birth-and-death (QBD) Markov chain [6], having probability transition matrix where Bi, Ai, i = ?1, 0, 1, are m x m matrices. In the numerical solution of QBD Markov chains a crucial step is the efficient computation of the minimal nonnegative solution R of the quadratic matrix equation X = X2A?1 + XA0 + A1. (1) To this purpose, many numerical methods, with different properties, have been designed in the last years (see for instance [1, 2, 3, 4]). However, many of these numericalmethods are defined for general block coefficients A?1, A0 and A1, and do not exploit the possible structure of these blocks.

Recently, some attention has been addressed to the case where A?1 has only few non-null columns, or A1 has only few non-null rows. These properties are satisfied when the QBD has restricted transitions to higher (or lower) levels. In particular, in [7] the authors exploit these properties of the matrix A?1, or A1, to formulate the QBD in terms of an M/G/1 type Markov chain, where the block matrices have size smaller than m; in particular, when both A?1 and A1 have the desired property, the latter M/G/1 type Markov chain reduces to a QBD. In [5] the structure of A?1 is used in order to reduce the computational cost of some algorithms for computing R.

Here we assume that both the matrices A?1 and A1 have small rank with respect to their size m. In particular, if A?1 and A1 have only few non-null columns and rows, respectively, they have small rank. We show that, under this assumption, the matrix R can be computed by using the cyclic reduction algorithm, where the matrices A(k) i , i = ?1, 0, 1, generated at the kth step of the algorithm, can be represented by small rank matrices. In particular, if r?1 is the rank of A?1, and if r1 is the rank of A1, then each step of cyclic reduction can be performed by means of O((r?1+r1)3) arithmetic operations. This cost estimate must be compared with the cost of O(m3) arithmetic operations, needed without exploiting the structure of A?1 and A1. Therefore, if r1 and r1/are much smaller than m, the advantage is evident.

It remains an open issue to understand how the structure can be exploited in the case where only one between A?1 and A1 has low rank.

References

  1. D. A. Bini, G. Latouche, and B. Meini. Numerical methods for structured Markov chains. Numerical Mathematics and Scientific Computation. Oxford University Press, New York, 2005. Oxford Science Publications. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. D. A. Bini, B. Meini, S. Steffé, and B. Van Houdt. Structured Markov chains solver: algorithms. Proceedings of SMCTOOLS, Pisa 2006, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. D. A. Bini, B. Meini, S. Steffé, and B. Van Houdt. Structured Markov chains solver: software tools. Proceedings of SMCTOOLS, Pisa 2006, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. D. A. Bini, B. Meini, S. Steffé, and B. Van Houdt. Structured Markov chains solver: tool extension. Proceedings of SMCTOOLS, Pisa 2009, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. W. K. Grassmann and J. Tavakoli. Comparing some algorithms for solving QBD processes exhibiting special structures. INFOR: Information Systems and Operational Research, 48(3):133--141, 2010.Google ScholarGoogle ScholarCross RefCross Ref
  6. G. Latouche and V. Ramaswami. Introduction to matrix analytic methods in stochastic modeling. ASA-SIAM Series on Statistics and Applied Probability. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1999.Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. J. F. Pérez and B. Van Houdt. Quasi-birth-and-death processes with restricted transitions and its applications. Performance Evaluation, 68(2):126--141, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGMETRICS Performance Evaluation Review
    ACM SIGMETRICS Performance Evaluation Review  Volume 39, Issue 4
    March 2012
    134 pages
    ISSN:0163-5999
    DOI:10.1145/2185395
    Issue’s Table of Contents

    Copyright © 2012 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 9 April 2012

    Check for updates

    Qualifiers

    • abstract
  • Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader