Kernel Method -- An Analytic Approach for Tail Asymptotics in Stationary Probabilities of 2-Dimensional Queueing Systems

In this paper, we provide a review on the kernel method, which is one of the options for characterizing so-called exact tail asymptotic properties in stationary probabilities of two-dimensional random walks, discrete or continuous (or mixed), in the quarter plane. Many two-dimensional queueing systems can be modelled via these types of random walks. Stationary probabilities are one of the most sought statistical quantities in queueing analysis. However, explicit expressions are available only for a very limited number of models. Therefore, tail asymptotic properties become more important, since they provide insightful information into the structure of the tail probabilities, and often lead to approximations, performance bounds, algorithms, among possible others. Characterizing tail asymptotics for random walks in the quarter plane is a fundamental and also classical problem. Classical approaches are usually based on a complete determination of the transformation for the unknown probabilities of interest, for example, a singular integral presentation for the unknown probability generating function through boundary value problems [18, 29]. In contrast to classical approaches (approaches based on the solution for the unknown probabilities or the transform of the unknow probabilities), the kernel method, reviewed here, is very efficient for two-dimensional problems, which only requires the local information about the location of the dominant singularity of the unknown transformation function and the asymptotic property, through asymptotic analysis in complex analysis, at the dominant singularity. This kernel method reviewed in this paper is an extension of the classical one, first introduced by Knuth [39] and further developed, more than 30 years after, by Banderier et al. [4], targeting at one-dimensional problems. The method combines analytic continuation with asymptotic analysis (for example, see [17, 24]).

[1]  Hui Li,et al.  Tail asymptotics for a generalized two-demand queueing model—a kernel method , 2011, Queueing Syst. Theory Appl..

[2]  Onno Boxma,et al.  Boundary value problems in queueing system analysis , 1983 .

[3]  Kilian Raschel,et al.  Passage time from four to two blocks of opinions in the voter model and walks in the quarter plane , 2009, Queueing Syst. Theory Appl..

[4]  Yuanyuan Liu,et al.  Exact tail asymptotics for fluid models driven by an M/M/c queue , 2018, Queueing Syst. Theory Appl..

[5]  J. Kingman Two Similar Queues in Parallel , 1961 .

[6]  I. Kurkova,et al.  Malyshev's theory and JS-queues. Asymptotics of stationary probabilities , 2003 .

[7]  Masakiyo Miyazawa,et al.  Stationary distribution of a two-dimensional SRBM: geometric views and boundary measures , 2011, Queueing Syst. Theory Appl..

[8]  Masakiyo Miyazawa,et al.  Tail Decay Rates in Double QBD Processes and Related Reflected Random Walks , 2009, Math. Oper. Res..

[9]  L. Flatto,et al.  Erratum: Two Parallel Queues Created by Arrivals with Two Demands I , 1985 .

[10]  Konstantin Avrachenkov,et al.  A retrial system with two input streams and two orbit queues , 2012, Queueing Syst. Theory Appl..

[11]  Aziz Khanchi Asymptotic Hitting Distribution for a Reflected Random Walk in the Positive Quadrant , 2011 .

[12]  Liming Liu,et al.  Geometric decay in level-expanding QBD models , 2008, Ann. Oper. Res..

[13]  Toshihisa Ozawa,et al.  Asymptotics for the stationary distribution in a discrete-time two-dimensional quasi-birth-and-death process , 2013, Queueing Syst. Theory Appl..

[14]  Fabrice Guillemin,et al.  Wireless Multihop Networks with Stealing: Large Buffer Asymptotics via the Ray Method , 2011, SIAM J. Appl. Math..

[15]  Liming Liu,et al.  Sufficient Conditions for a Geometric Tail in a QBD Process with Countably Many Levels and Phases ( Third revision ) , 2004 .

[16]  V. A. Malyshev An analytical method in the theory of two-dimensional positive random walks , 1972 .

[17]  Fabrice Guillemin,et al.  Rare event asymptotics for a random walk in the quarter plane , 2011, Queueing Syst. Theory Appl..

[18]  J. Hunter Two Queues in Parallel , 1969 .

[19]  Ruth J. Williams Semimartingale reflecting Brownian motions in the orthant , 1995 .

[20]  D. McDonald,et al.  Asymptotics of first passage times for random walk in an orthant , 1999 .

[21]  Masahiro Kobayashi,et al.  Revisiting the Tail Asymptotics of the Double QBD Process: Refinement and Complete Solutions for the Coordinate and Diagonal Directions , 2011, MAM.

[22]  Michel Mandjes,et al.  Asymptotic analysis of Lévy-driven tandem queues , 2008, Queueing Syst. Theory Appl..

[23]  Hongshuai Dai,et al.  Kernel Method for Stationary Tails: From Discrete to Continuous , 2015 .

[24]  Masakiyo Miyazawa,et al.  Tail asymptotics for a Lévy-driven tandem queue with an intermediate input , 2009, Queueing Syst. Theory Appl..

[25]  V. A. Malyshev Asymptotic behavior of the stationary probabilities for two-dimensional positive random walks , 1973 .

[26]  Hui Li,et al.  Geometric Decay in a QBD Process with Countable Background States with Applications to a Join-the-Shortest-Queue Model , 2007 .

[27]  Hongshuai Dai,et al.  Wireless 3-hop Networks with Stealing Revisited: A Kernel Approach , 2013, INFOR Inf. Syst. Oper. Res..

[28]  Ruth J. Williams,et al.  Brownian Models of Open Queueing Networks with Homogeneous Customer Populations , 1987 .

[29]  D. McDonald,et al.  Join the shortest queue: stability and exact asymptotics , 2001 .

[30]  Kilian Raschel,et al.  Explicit expression for the generating function counting Gessel's walks , 2009, Adv. Appl. Math..

[31]  E. Bender Asymptotic Methods in Enumeration , 1974 .

[32]  David R. McDonald,et al.  Bridges and networks: Exact asymptotics , 2005, math/0503488.

[33]  Paul E. Wright,et al.  Two parallel processors with coupled inputs , 1992, Advances in Applied Probability.

[34]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .

[35]  A. Borovkov,et al.  Large deviations for Markov chains in the positive quadrant , 2001 .

[36]  Mireille Bousquet-M'elou,et al.  Walks in the quarter plane: Kreweras’ algebraic model , 2004, math/0401067.

[37]  G. Fayolle,et al.  The solution of certain two-dimensional markov models , 1980, PERFORMANCE '80.

[38]  Green functions and Martin compactification for killed random walks related to SU(3) , 2009, 0910.1055.

[39]  Yang Song,et al.  Exact tail asymptotics: revisit of a retrial queue with two input streams and two orbits , 2015, Ann. Oper. Res..

[40]  Ivo J. B. F. Adan,et al.  Exact asymptotics for the stationary distribution of a Markov chain: a production model , 2009, Queueing Syst. Theory Appl..

[41]  Peter G. Taylor,et al.  Decay rates for quasi-birth-and-death processes with countably many phases and tridiagonal block generators , 2006, Advances in Applied Probability.

[42]  Yang Song,et al.  Exact tail asymptotics for a discrete-time preemptive priority queue , 2014, 1401.7722.

[43]  G. Fayolle,et al.  The solution of certain two-dimensional Markov models , 1982, Advances in Applied Probability.

[44]  Ivo J. B. F. Adan,et al.  Performance analysis of parallel identical machines with a generalized shortest queue arrival mechanism , 2001, OR Spectr..

[45]  Naoki Makimoto,et al.  GEOMETRIC DECAY OF THE STEADY-STATE PROBABILITIES IN A QUASI-BIRTH-AND-DEATH PROCESS WITH A COUNTABLE NUMBER OF PHASES , 2001 .

[46]  L. Flatto,et al.  Two parallel queues created by arrivals with two demands. II , 1984 .

[47]  Masahiro Kobayashi,et al.  Tail Asymptotics of the Stationary Distribution of a Two-Dimensional Reflecting Random Walk with Unbounded Upward Jumps , 2012, Advances in Applied Probability.

[48]  J. Dai,et al.  Reflecting Brownian Motion in Two Dimensions: Exact Asymptotics for the Stationary Distribution , 2011 .

[49]  Yiqiang Q. Zhao,et al.  The stationary tail asymptotics in the GI/G/1-type queue with countably many background states , 2004, Advances in Applied Probability.

[50]  Hui Li,et al.  Light-Tailed Behavior in QBD Processes with Countably Many Phases , 2009 .

[51]  Yiqiang Q. Zhao,et al.  Stationary tail asymptotics of a tandem queue with feedback , 2008, Ann. Oper. Res..

[52]  Mireille Bousquet-Mélou,et al.  Generating functions for generating trees , 2002, Discret. Math..

[53]  Masakiyo Miyazawa,et al.  A Markov Renewal Approach to M/G/1 Type Queues with Countably Many Background States , 2004, Queueing Syst. Theory Appl..

[54]  D. P. Kroese,et al.  Spectral properties of the tandem Jackson network, seen as a quasi-birth-and-death process , 2003 .

[55]  M. Miyazawa Light tail asymptotics in multidimensional reflecting processes for queueing networks , 2011 .

[56]  Masakiyo Miyazawa,et al.  Two Sided DQBD Process and Solutions to the Tail Decay Rate Problem and Their Applications to the Generalized Join Shortest Queue , 2009 .

[57]  David Thomas,et al.  The Art in Computer Programming , 2001 .

[58]  Aziz Khanchi,et al.  State of a network when one node overloads , 2008 .

[59]  D. McDonald,et al.  Large deviations of a modified Jackson network: Stability and rough asymptotics , 2005, math/0503487.

[60]  Dario A. Bini,et al.  Solving quadratic matrix equations arising in random walks in the quarter plane , 2019, SIAM J. Matrix Anal. Appl..

[61]  Yiqiang Q. Zhao,et al.  PR ] 1 7 M ay 2 01 5 A Kernel Method for Exact Tail Asymptotics — Random Walks in the Quarter Plane ( In memory of Dr , 2015 .

[62]  Fabrice Guillemin,et al.  Analysis of generalized processor-sharing systems with two classes of customers and exponential services , 2004, Journal of Applied Probability.

[63]  Philippe Flajolet,et al.  Singularity Analysis of Generating Functions , 1990, SIAM J. Discret. Math..

[64]  Hui Li,et al.  Analysis of exact tail asymptotics for singular random walks in the quarter plane , 2013, Queueing Syst. Theory Appl..

[65]  Yiqiang Q. Zhao,et al.  Tail Asymptotics of the Occupation Measure for a Markov Additive Process with an M/G/1-Type Background Process , 2010 .

[66]  Masahiro Kobayashi,et al.  Exact asymptotic formulae of the stationary distribution of a discrete-time two-dimensional QBD process , 2017, Queueing Systems.

[67]  J. Harrison,et al.  Reflected Brownian Motion in an Orthant: Numerical Methods for Steady-State Analysis , 1992 .

[68]  Hui Li,et al.  A Retrial Queue with a Constant Retrial Rate, Server Downs and Impatient Customers , 2005 .

[69]  Yang Song,et al.  Exact tail asymptotics for a two-stage queue: Complete solution via kernel method , 2017, RAIRO Oper. Res..

[70]  Whm Henk Zijm,et al.  A compensation approach for two-dimensional Markov processes , 1993, Advances in Applied Probability.

[71]  G. Fayolle,et al.  Two coupled processors: The reduction to a Riemann-Hilbert problem , 1979 .