-
Heavy traffic limit of stationary distribution of the multi-level single server queue
Authors:
Masahiro Kobayashi,
Masakiyo Miyazawa,
Yutaka Sakuma
Abstract:
Atar and Miyazawa recently introduced a single server queue with queue length dependent arrival and service processes, and name it a multi-level queue. They prove that the heavy traffic limit of its queue length process weakly converges to a reflected diffusion with discontinuously state-dependent drift and deviations.
We derive the heavy traffic limit of the stationary queue length distribution…
▽ More
Atar and Miyazawa recently introduced a single server queue with queue length dependent arrival and service processes, and name it a multi-level queue. They prove that the heavy traffic limit of its queue length process weakly converges to a reflected diffusion with discontinuously state-dependent drift and deviations.
We derive the heavy traffic limit of the stationary queue length distribution of this multi-level queue in a closed form, which agrees with the stationary distribution of the reflected diffusion obtained by Miyazawa (2024, Journal of the Indian Society for Probability and Statistics). Thus, those results show the limit interchange of process and stationary distribution in heavy traffic.
The multi-level queue is a simpler version of the 2-level GI/G/1 queue of Miyazawa (2025, Advances in Applied Probability, to appear) and its extension for multi-levels. For this 2-level queue in heavy traffic, the process limit is unknown, and the distributional limit is obtained for limited cases under extra conditions. Nevertheless, it is shown that the method developed in Miyazawa (2025) perfectly works for the present multi-level queue.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Heavy traffic limit with discontinuous coefficients via a non-standard semimartingale decomposition
Authors:
Rami Atar,
Masakiyo Miyazawa
Abstract:
This paper studies a single server queue in heavy traffic, with general inter-arrival and service time distributions, where arrival and service rates vary discontinuously as a function of the (diffusively scaled) queue length. It is proved that the weak limit is given by the unique-in-law solution to a stochastic differential equation in $[0,\infty)$ with discontinuous drift and diffusion coeffici…
▽ More
This paper studies a single server queue in heavy traffic, with general inter-arrival and service time distributions, where arrival and service rates vary discontinuously as a function of the (diffusively scaled) queue length. It is proved that the weak limit is given by the unique-in-law solution to a stochastic differential equation in $[0,\infty)$ with discontinuous drift and diffusion coefficients. The main tool is a semimartingale decomposition for point processes introduced in \cite{dal-miy}, which is distinct from the Doob-Meyer decomposition of a counting process. Whereas the use of this tool is demonstrated here for a particular model, we believe it may be useful for investigating the scaling limits of queueing models very broadly.
△ Less
Submitted 23 February, 2025;
originally announced February 2025.
-
The stationary distributions of state-dependent diffusions reflected at one and two sides
Authors:
Masakiyo Miyazawa
Abstract:
Consider a one-dimensional diffusion process which has state-dependent drift and deviation and is reflected at the origin, which is called a one-side reflected diffusion or simply reflected diffusion. We are particularly interested in the case that its drift and deviation are discontinuous. We define this reflected diffusion as the solution of a stochastic integral equation, and find conditions fo…
▽ More
Consider a one-dimensional diffusion process which has state-dependent drift and deviation and is reflected at the origin, which is called a one-side reflected diffusion or simply reflected diffusion. We are particularly interested in the case that its drift and deviation are discontinuous. We define this reflected diffusion as the solution of a stochastic integral equation, and find conditions for its positive recurrence, We then derive its stationary distribution under these conditions. As a related problem, we also consider the case that it is reflected at two sides, which is called a two-sides reflected diffusion. Its existence, positive recurrence and stationary distribution are similarly studied.
In the literature, these problems are studied through a state-dependent diffusion on the whole line particularly when the drift and deviation are discontinuous. However, the reflected process itself is not defined in such a study. Thus, the stationary distribution has not been fully studied for a general state-dependent reflected diffusion. We aim to fills this insufficiency and to make the stationary distributions of reflected diffusions widely available in application.
△ Less
Submitted 15 October, 2024; v1 submitted 15 October, 2024;
originally announced October 2024.
-
Multi-level reflecting Brownian motion on the half line and its stationary distribution
Authors:
Masakiyo Miyazawa
Abstract:
A semi-martingale reflecting Brownian motion is a popular process for diffusion approximations of queueing models including their networks. In this paper, we are concerned with the case that it lives on the nonnegative half-line, but the drift and variance of its Brownian component discontinuously change at its finitely many states. This reflecting diffusion process naturally arises from a state-d…
▽ More
A semi-martingale reflecting Brownian motion is a popular process for diffusion approximations of queueing models including their networks. In this paper, we are concerned with the case that it lives on the nonnegative half-line, but the drift and variance of its Brownian component discontinuously change at its finitely many states. This reflecting diffusion process naturally arises from a state-dependent single server queue, studied by the author (2024). Our main interest is in its stationary distribution, which is important for application. We define this reflecting diffusion process as the solution of a stochastic integral equation, and show that it uniquely exists in the weak sense. This result is also proved in a different way by Atar, Castiel and Reiman (2022,2023). In this paper, we consider its Harris irreducibility and stability, that is, positive recurrence, and derive its stationary distribution under this stability condition. The stationary distribution has a simple analytic expression, likely extendable to a more general state-dependent SRBM. Our proofs rely on the generalized Ito formula for a convex function and local time.
△ Less
Submitted 12 August, 2024; v1 submitted 26 May, 2024;
originally announced May 2024.
-
Tight matrices and heavy traffic steady state convergence in queueing networks
Authors:
J. G. Dai,
Yiquan Ji,
Masakiyo Miyazawa
Abstract:
In Braverman et al. (2024), the authors prove that the stationary distribution of a multiclass queueing network converges to the stationary distribution of a semimartingale reflecting Brownian motion (SRBM) in heavy traffic. Among the sufficient conditions for the convergence is that the reflection matrix $R$ of the SRBM is "tight". In this paper, we study how we can verify this tightness of $R$.…
▽ More
In Braverman et al. (2024), the authors prove that the stationary distribution of a multiclass queueing network converges to the stationary distribution of a semimartingale reflecting Brownian motion (SRBM) in heavy traffic. Among the sufficient conditions for the convergence is that the reflection matrix $R$ of the SRBM is "tight". In this paper, we study how we can verify this tightness of $R$. For a $2$-dimensional SRBM, we give necessary and sufficient conditions for $R$ to be tight, while, for a general dimension, we only give sufficient conditions. We then apply these results to the SRBMs arising from the diffusion approximations of multiclass queueing networks with static buffer priority service disciplines that are studied in Braverman et al. (2024). It is shown that $R$ is always tight for this network with two stations if $R$ is defined and completely-S. For the case of more than two stations, it is shown that $R$ is tight for reentrant lines with last-buffer-first-service (LBFS) discipline, but it is not always tight for reentrant line with first-buffer-first-service (FBFS) discipline.
△ Less
Submitted 22 April, 2024; v1 submitted 21 April, 2024;
originally announced April 2024.
-
Edge and bulk states in Weyl-orbit quantum Hall effect as studied by Corbino measurements
Authors:
Yusuke Nakazawa,
Ryosuke Kurihara,
Masatoshi Miyazawa,
Shinichi Nishihaya,
Markus Kriener,
Masashi Tokunaga,
Masashi Kawasaki,
Masaki Uchida
Abstract:
We investigate edge and bulk states in Weyl-orbit based quantum Hall effect by measuring a Corbino-type device fabricated from a topological Dirac semimetal (Cd1-xZnx)3As2 film. Clear quantum Hall plateaus are observed when measuring one-sided terminals of the Corbino-type device. This indicates that edge states of the Weyl-orbit quantum Hall effect form closed trajectories consisting of Fermi arc…
▽ More
We investigate edge and bulk states in Weyl-orbit based quantum Hall effect by measuring a Corbino-type device fabricated from a topological Dirac semimetal (Cd1-xZnx)3As2 film. Clear quantum Hall plateaus are observed when measuring one-sided terminals of the Corbino-type device. This indicates that edge states of the Weyl-orbit quantum Hall effect form closed trajectories consisting of Fermi arcs and chiral zero modes independently on inner and outer sides. On the other hand, the bulk resistance does not diverge at fields where the quantum Hall plateau appears, suggesting that the Weyl orbits in the bulk region are not completely localized when applying electric current through the bulk region.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
Diffusion approximation of the stationary distribution of a two-level single server queue
Authors:
Masakiyo Miyazawa
Abstract:
We consider a single server queue which has a threshold to change its arrival process and service speed by its queue length, which is referred to as a two-level single server queue. This model is motivated by an energy saving problem for a single server queue whose arrival process and service speed are controlled. To get its performance in tractable form, we study the limit of the stationary distr…
▽ More
We consider a single server queue which has a threshold to change its arrival process and service speed by its queue length, which is referred to as a two-level single server queue. This model is motivated by an energy saving problem for a single server queue whose arrival process and service speed are controlled. To get its performance in tractable form, we study the limit of the stationary distribution of the queue length in this two-level queue under scaling in heavy traffic. Except for a special case, this limit corresponds to its diffusion approximation. It is shown that this limiting distribution is truncated exponential (or uniform if the drift is null) below the threshold level and exponential above it under suitably chosen system parameters and generally distributed inter-arrival times and workloads brought by customers. This result is proved under a mild limitation on arrival parameters using the so called BAR approach studied in Braverman, Dai and Miyazawa (2017, 2023) and Miyazawa (2017, 2023). We also intuitively discuss about a diffusion process corresponding to the limit of the stationary distribution under scaling.
△ Less
Submitted 24 March, 2025; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Palm problems arising in BAR approach and its applications
Authors:
Masakiyo Miyazawa
Abstract:
We consider Palm distributions arising in a Markov process with time homogeneous transitions which is jointly stationary with multiple point processes. Motivated by a BAR approach studied in the recent paper Braverman, Dai and Miyazawa (2023}, we are interested in two problems; when this Markov process inherits the same Markov structure under the Palm distributions, and how the state changes at co…
▽ More
We consider Palm distributions arising in a Markov process with time homogeneous transitions which is jointly stationary with multiple point processes. Motivated by a BAR approach studied in the recent paper Braverman, Dai and Miyazawa (2023}, we are interested in two problems; when this Markov process inherits the same Markov structure under the Palm distributions, and how the state changes at counting instants of the point processes can be handled to derive stationary equations when there are simultaneous counts and each of them influences the state changes. We affirmatively answer to the first problem, and propose a framework for resolving the second problem. We also discuss how those results can be applied in deriving BAR's for the diffusion approximation of queueing models in heavy traffic. In particular, as their new application, the heavy traffic limit of the stationary distribution is derived for a single server queue with a finite waiting room. Those examples show how the BAR approach is useful under the proposed framework.
△ Less
Submitted 14 March, 2024; v1 submitted 7 August, 2023;
originally announced August 2023.
-
The BAR approach for multiclass queueing networks with SBP service policies
Authors:
Anton Braverman,
J. G. Dai,
Masakiyo Miyazawa
Abstract:
The basic adjoint relationship (BAR) approach is an analysis technique based on the stationary equation of a Markov process. This approach was introduced to study heavy-traffic, steady-state convergence of generalized Jackson networks in which each service station has a single job class. We extend it to multiclass queueing networks operating under static-buffer-priority (SBP) service disciplines.…
▽ More
The basic adjoint relationship (BAR) approach is an analysis technique based on the stationary equation of a Markov process. This approach was introduced to study heavy-traffic, steady-state convergence of generalized Jackson networks in which each service station has a single job class. We extend it to multiclass queueing networks operating under static-buffer-priority (SBP) service disciplines. Our extension makes a connection with Palm distributions that allows one to attack a difficulty arising from queue-length truncation, which appears to be unavoidable in the multiclass setting.
For multiclass queueing networks operating under SBP service disciplines, our BAR approach provides an alternative to the "interchange of limits" approach that has dominated the literature in the last twenty years. The BAR approach can produce sharp results and allows one to establish steady-state convergence under three additional conditions: stability, state space collapse (SSC) and a certain matrix being "tight." These three conditions do not appear to depend on the interarrival and service-time distributions beyond their means, and their verification can be studied as three separate modules. In particular, they can be studied in a simpler, continuous-time Markov chain setting when all distributions are exponential.
As an example, these three conditions are shown to hold in reentrant lines operating under last-buffer-first-serve discipline. In a two-station, five-class reentrant line, under the heavy-traffic condition, the tight-matrix condition implies both the stability condition and the SSC condition. Whether such a relationship holds generally is an open problem.
△ Less
Submitted 12 January, 2024; v1 submitted 11 February, 2023;
originally announced February 2023.
-
Stability of a cascade system with two stations and its extension for multiple stations
Authors:
Masakiyo Miyazawa,
Evsey Morozov
Abstract:
We consider a two station cascade system in which waiting or externally arriving customers at station $1$ move to the station $2$ if the queue size of station $1$ including a customer being served is greater than a given threshold level $C_{1} \ge 1$ and if station $2$ is empty. Assuming that external arrivals are subject to independent renewal processes satisfying certain regularity conditions an…
▽ More
We consider a two station cascade system in which waiting or externally arriving customers at station $1$ move to the station $2$ if the queue size of station $1$ including a customer being served is greater than a given threshold level $C_{1} \ge 1$ and if station $2$ is empty. Assuming that external arrivals are subject to independent renewal processes satisfying certain regularity conditions and service times are $i.i.d.$ at each station, we derive necessary and sufficient conditions for a Markov process describing this system to be positive recurrent in the sense of Harris. This result is extended to the cascade system with a general number $k$ of stations in series. This extension requires the actual traffic intensities of stations $2,3,\ldots, k-1$ for $k \ge 3$. We finally note that the modeling assumptions on the renewal arrivals and $i.i.d.$ service times are not essential if the notion of the stability is replaced by a certain sample path condition. This stability notion is identical with the standard stability if the whole system is described by the Markov process which is a Harris irreducible $T$-process.
△ Less
Submitted 11 July, 2023; v1 submitted 27 March, 2022;
originally announced March 2022.
-
Markov modulated fluid network process: Tail asymptotics of the stationary distribution
Authors:
Masakiyo Miyazawa
Abstract:
We consider a Markov modulated fluid network with a finite number of stations. We are interested in the tail asymptotics behavior of the stationary distribution of its buffer content process. Using two different approaches, we derive upper and lower bounds for the stationary tail decay rate in various directions. Both approaches are based on a well-known time-evolution formula of a Markov process,…
▽ More
We consider a Markov modulated fluid network with a finite number of stations. We are interested in the tail asymptotics behavior of the stationary distribution of its buffer content process. Using two different approaches, we derive upper and lower bounds for the stationary tail decay rate in various directions. Both approaches are based on a well-known time-evolution formula of a Markov process, so-called Dynkin's formula, where a key ingredient is a suitable choice of test functions. Those results show how multidimensional tail asymptotics can be studied for the more than two-dimensional case, which is known as a hard problem.
△ Less
Submitted 26 September, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Tails in a fixed-point problem for a branching process with state-independent immigration
Authors:
Sergey Foss,
Masakiyo Miyazawa
Abstract:
We consider a fixed-point equation for a non-negative integer-valued random variable, that appears in branching processes with state-independent immigration. A similar equation appears in the analysis of a single-server queue with a homogeneous Poisson input, feedback and permanent customer(s).
It is known that the solution to this equation uniquely exists under mild first and logarithmic moment…
▽ More
We consider a fixed-point equation for a non-negative integer-valued random variable, that appears in branching processes with state-independent immigration. A similar equation appears in the analysis of a single-server queue with a homogeneous Poisson input, feedback and permanent customer(s).
It is known that the solution to this equation uniquely exists under mild first and logarithmic moments conditions. We find further the tail asymptotics of the distribution of the solution when the immigration size and branch size distributions are heavy-tailed. We assume that the distributions of interest are dominantly varying and have a long tail. This class includes, in particular, (intermediate, extended) regularly varying distributions.
We consider also a number of generalisations of the model.
△ Less
Submitted 30 November, 2018; v1 submitted 28 August, 2018;
originally announced August 2018.
-
A martingale view of Blackwell's renewal theorem and its extensions to a general counting process
Authors:
Daryl J. Daley,
Masakiyo Miyazawa
Abstract:
Martingales constitute a basic tool in stochastic analysis; this paper considers their application to counting processes. We use this tool to revisit a renewal theorem and its extensions for various counting processes. We first consider a renewal process as a pilot example, deriving a new semimartingale representation that differs from the standard decomposition via the stochastic intensity functi…
▽ More
Martingales constitute a basic tool in stochastic analysis; this paper considers their application to counting processes. We use this tool to revisit a renewal theorem and its extensions for various counting processes. We first consider a renewal process as a pilot example, deriving a new semimartingale representation that differs from the standard decomposition via the stochastic intensity function. We then revisit Blackwell's renewal theorem, its refinements and extensions. Based on these observations, we extend the semimartingale representation to a general counting process, and give conditions under which asymptotic behaviour similar to Blackwell's renewal theorem holds.
△ Less
Submitted 24 December, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Customer sojourn time in GI/G/1 feedback queue in the presence of heavy tails
Authors:
Sergey Foss,
Masakiyo Miyazawa
Abstract:
We consider a single-server GI/GI/1 queueing system with feedback. We assume the service times distribution to be (intermediate) regularly varying. We find the tail asymptotics for a customer's sojourn time in two regimes: the customer arrives in an empty system, and the customer arrives in the system in the stationary regime. In particular, in the case of Poisson input we use the branching proces…
▽ More
We consider a single-server GI/GI/1 queueing system with feedback. We assume the service times distribution to be (intermediate) regularly varying. We find the tail asymptotics for a customer's sojourn time in two regimes: the customer arrives in an empty system, and the customer arrives in the system in the stationary regime. In particular, in the case of Poisson input we use the branching processes structure and provide more precise formulae. As auxiliary results, we find the tail asymptotics for the busy period distribution in a single-server queue with an intermediate varying service times distribution and establish the principle-of-a-single-big-jump equivalences that characterise the asymptotics.
△ Less
Submitted 17 June, 2018; v1 submitted 28 October, 2017;
originally announced October 2017.
-
Queue-length balance equations in multiclass multiserver queues and their generalizations
Authors:
Marko Boon,
Onno Boxma,
Offer Kella,
Masakiyo Miyazawa
Abstract:
A classical result for the steady-state queue-length distribution of single-class queueing systems is the following: the distribution of the queue length just before an arrival epoch equals the distribution of the queue length just after a departure epoch. The constraint for this result to be valid is that arrivals, and also service completions, with probability one occur individually, i.e., not i…
▽ More
A classical result for the steady-state queue-length distribution of single-class queueing systems is the following: the distribution of the queue length just before an arrival epoch equals the distribution of the queue length just after a departure epoch. The constraint for this result to be valid is that arrivals, and also service completions, with probability one occur individually, i.e., not in batches. We show that it is easy to write down somewhat similar balance equations for {\em multidimensional} queue-length processes for a quite general network of multiclass multiserver queues. We formally derive those balance equations under a general framework. They are called distributional relationships, and are obtained for any external arrival process and state dependent routing as long as certain stationarity conditions are satisfied and external arrivals and service completions do not simultaneously occur. We demonstrate the use of these balance equations, in combination with PASTA, by (i) providing very simple derivations of some known results for polling systems, and (ii) obtaining new results for some queueing systems with priorities. We also extend the distributional relationships for a non-stationary framework.
△ Less
Submitted 1 May, 2017;
originally announced May 2017.
-
Martingale approach for tail asymptotic problems in the generalized Jackson network
Authors:
Masakiyo Miyazawa
Abstract:
We study the tail asymptotic of the stationary joint queue length distribution for a generalized Jackson network (GJN for short), assuming its stability. For the two station case, this problem has been recently solved in the logarithmic sense for the marginal stationary distributions under the setting that arrival processes and service times are of phase-type. In this paper, we study similar tail…
▽ More
We study the tail asymptotic of the stationary joint queue length distribution for a generalized Jackson network (GJN for short), assuming its stability. For the two station case, this problem has been recently solved in the logarithmic sense for the marginal stationary distributions under the setting that arrival processes and service times are of phase-type. In this paper, we study similar tail asymptotic problems on the stationary distribution, but problems and assumptions are different. First, the asymptotics are studied not only for the marginal distribution but also the stationary probabilities of state sets of small volumes. Second, the interarrival and service times are generally distributed and light tailed, but of phase type in some cases. Third, we also study the case that there are more than two stations, although the asymptotic results are less complete. For them, we develop a martingale method, which has been recently applied to a single queue with many servers by the author.
△ Less
Submitted 8 November, 2017; v1 submitted 22 January, 2017;
originally announced January 2017.
-
Heavy traffic approximation for the stationary distribution of a generalized Jackson network: the BAR approach
Authors:
Anton Braverman,
J. G. Dai,
Masakiyo Miyazawa
Abstract:
In the seminal paper of Gamarnik and Zeevi (2006), the authors justify the steady-state diffusion approximation of a generalized Jackson network (GJN) in heavy traffic. Their approach involves the so-called limit interchange argument, which has since become a popular tool employed by many others who study diffusion approximations. In this paper we illustrate a novel approach by using it to justify…
▽ More
In the seminal paper of Gamarnik and Zeevi (2006), the authors justify the steady-state diffusion approximation of a generalized Jackson network (GJN) in heavy traffic. Their approach involves the so-called limit interchange argument, which has since become a popular tool employed by many others who study diffusion approximations. In this paper we illustrate a novel approach by using it to justify the steady-state approximation of a GJN in heavy traffic. Our approach involves working directly with the basic adjoint relationship (BAR), an integral equation that characterizes the stationary distribution of a Markov process. As we will show, the BAR approach is a more natural choice than the limit interchange approach for justifying steady-state approximations, and can potentially be applied to the study of other stochastic processing networks such as multiclass queueing networks.
△ Less
Submitted 27 June, 2017; v1 submitted 5 October, 2015;
originally announced October 2015.
-
A unified approach for large queue asymptotics in a heterogeneous multiserver queue
Authors:
Masakiyo Miyazawa
Abstract:
We are interested in a large queue in a $GI/G/k$ queue with heterogeneous servers. For this, we consider tail asymptotics and weak limit approximations for the stationary distribution of its queue length process in continuous time under a stability condition. Here, two weak limit approximations are considered. One is when the variances of the inter-arrival and/or service times are bounded, and the…
▽ More
We are interested in a large queue in a $GI/G/k$ queue with heterogeneous servers. For this, we consider tail asymptotics and weak limit approximations for the stationary distribution of its queue length process in continuous time under a stability condition. Here, two weak limit approximations are considered. One is when the variances of the inter-arrival and/or service times are bounded, and the other is when they get large. Both require a heavy traffic condition. Tail asymptotics and heavy traffic approximations have been separately studied in the literature. We develop a unified approach based on a martingale produced by a good test function for a Markov process to answer both problems.
△ Less
Submitted 9 March, 2017; v1 submitted 5 October, 2015;
originally announced October 2015.
-
A superharmonic vector for a nonnegative matrix with QBD block structure and its application to a Markov modulated two dimensional reflecting process
Authors:
Masakiyo Miyazawa
Abstract:
Markov modulation is versatile in generalization for making a simple stochastic model which is often analytically tractable to be more flexible in application. In this spirit, we modulate a two dimensional reflecting skip-free random walk in such a way that its state transitions in the boundary faces and interior of a nonnegative integer quadrant are controlled by Markov chains. This Markov modula…
▽ More
Markov modulation is versatile in generalization for making a simple stochastic model which is often analytically tractable to be more flexible in application. In this spirit, we modulate a two dimensional reflecting skip-free random walk in such a way that its state transitions in the boundary faces and interior of a nonnegative integer quadrant are controlled by Markov chains. This Markov modulated model is referred to as a 2d-QBD process according to Ozaw (2013). We are interested in the tail asymptotics of its stationary distribution, which has been well studied when there is no Markov modulation.
Ozawa studied this tail asymptotics problem, but his answer is not analytically tractable. We think this is because Markov modulation is so free to change a model even if the state space for Markov modulation is finite. Thus, some structure, say, extra conditions, would be needed to make the Markov modulation analytically tractable while minimizing its limitation in application.
The aim of this paper is to investigate such structure for the tail asymptotic problem. For this, we study the existence of a right subinvariant positive vector, called a superharmonic vector, of a nonnegative matrix with QBD block structure, where each block matrix is finite dimensional. We characterize this existence under a certain extra assumption. We apply this characterization to the 2d-QBD process, and derive the tail decay rates of its marginal stationary distribution in an arbitrary direction. This solves the tail decay rate problem for a two node generalized Jackson network, which has been open for many years.
△ Less
Submitted 17 July, 2015; v1 submitted 16 January, 2015;
originally announced January 2015.
-
Diffusion approximation for stationary analysis of queues and their networks: A review
Authors:
Masakiyo Miyazawa
Abstract:
Diffusion processes have been widely used for approximations in the queueing theory. There are different types of diffusion approximations. Among them, we are interested in those obtained through limits of a sequence of models which describe queueing networks. Such a limit is typically obtained by the weak convergence of either stochastic processes or stationary distributions. We already have nice…
▽ More
Diffusion processes have been widely used for approximations in the queueing theory. There are different types of diffusion approximations. Among them, we are interested in those obtained through limits of a sequence of models which describe queueing networks. Such a limit is typically obtained by the weak convergence of either stochastic processes or stationary distributions. We already have nice reviews and text books for them. However, this area is still actively studied, and it seems getting hard to have a comprehensive overview because mathematical results are highly technical. We try to fill this gap presenting technical background. Although those diffusion approximations have been well developed, there remains a big problem, which is difficulty to get useful information from the limiting diffusion processes. Their state spaces are multidimensional, whose dimension corresponds to the number of nodes for a single-class case and the number of customer types for a multi-class case. We now have a better view for the two dimensional case, but still know very little about the higher dimensional case. This intractability is somehow against a spirit of diffusion approximation. This motivates us to reconsider diffusion approximation from scratch. For this, we highlight the stationary distributions, and make clear a mechanism to produce diffusion approximations.
△ Less
Submitted 18 January, 2015; v1 submitted 12 December, 2014;
originally announced December 2014.
-
Structure-reversibility of a two dimensional reflecting random walk and its application to queueing network
Authors:
Masahiro Kobayashi,
Masakiyo Miyazawa,
Hiroshi Shimizu
Abstract:
We consider a two dimensional reflecting random walk on the nonnegative integer quadrant. It is assumed that this reflecting random walk has skip free transitions. We are concerned with its time reversed process assuming that the stationary distribution exists. In general, the time reversed process may not be a reflecting random walk. In this paper, we derive necessary and sufficient conditions fo…
▽ More
We consider a two dimensional reflecting random walk on the nonnegative integer quadrant. It is assumed that this reflecting random walk has skip free transitions. We are concerned with its time reversed process assuming that the stationary distribution exists. In general, the time reversed process may not be a reflecting random walk. In this paper, we derive necessary and sufficient conditions for the time reversed process also to be a reflecting random walk. These conditions are different from but closely related to the product form of the stationary distribution.
△ Less
Submitted 13 March, 2014; v1 submitted 10 December, 2013;
originally announced December 2013.
-
A multi-dimensional SRBM: Geometric views of its product form stationary distribution
Authors:
J. G. Dai,
Masakiyo Miyazawa,
Jian Wu
Abstract:
We present a geometric interpretation of a product form stationary distribution for a $d$-dimensional semimartingale reflecting Brownian motion (SRBM) that lives in the nonnegative orthant. The $d$-dimensional SRBM data can be equivalently specified by $d+1$ geometric objects: an ellipse and $d$ rays. Using these geometric objects, we establish necessary and sufficient conditions for characterizin…
▽ More
We present a geometric interpretation of a product form stationary distribution for a $d$-dimensional semimartingale reflecting Brownian motion (SRBM) that lives in the nonnegative orthant. The $d$-dimensional SRBM data can be equivalently specified by $d+1$ geometric objects: an ellipse and $d$ rays. Using these geometric objects, we establish necessary and sufficient conditions for characterizing product form stationary distribution. The key idea in the characterization is that we decompose the $d$-dimensional problem to $\frac{1}{2}d(d-1)$ two-dimensional SRBMs, each of which is determined by an ellipse and two rays. This characterization contrasts with the algebraic condition of [14]. A $d$-station tandem queue example is presented to illustrate how the product form can be obtained using our characterization. Drawing the two-dimensional results in [1,7], we discuss potential optimal paths for a variational problem associated with the three-station tandem queue. Except Appendix D, the rest of this paper is almost identical to the QUESTA paper with the same title.
△ Less
Submitted 8 May, 2014; v1 submitted 5 December, 2013;
originally announced December 2013.
-
Decomposable stationary distribution of a multidimensional SRBM
Authors:
J. G. Dai,
Masakiyo Miyazawa,
Jian Wu
Abstract:
We call a multidimensional distribution to be decomposable with respect to a partition of two sets of coordinates if the original distribution is the product of the marginal distributions associated with these two sets. We focus on the stationary distribution of a multidimensional semimartingale reflecting Brownian motion (SRBM) on a nonnegative orthant. An SRBM is uniquely determined (in distribu…
▽ More
We call a multidimensional distribution to be decomposable with respect to a partition of two sets of coordinates if the original distribution is the product of the marginal distributions associated with these two sets. We focus on the stationary distribution of a multidimensional semimartingale reflecting Brownian motion (SRBM) on a nonnegative orthant. An SRBM is uniquely determined (in distribution) by its data that consists of a covariance matrix, a drift vector, and a reflection matrix. Assume that the stationary distribution of an SRBM exists. We first characterize two marginal distributions under the decomposability assumption. We prove that they are the stationary distributions of some lower dimensional SRBMs. We also identify the data for these lower dimensional SRBMs. Thus, under the decomposability assumption, we can obtain the stationary distribution of the original SRBM by computing those of the lower dimensional ones. However, this characterization of the marginal distributions is not sufficient for the decomposability. So, we next consider necessary and sufficient conditions for the decomposability. We obtain those conditions for several classes of SRBMs. These classes include SRBMs arising from Brownian models of queueing networks that have two sets of stations with feed-forward routing between these two sets. This work is motivated by applications of SRBMs and geometric interpretations of the product form stationary distributions.
△ Less
Submitted 29 November, 2014; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Two-node queueing network with a heavy-tailed random input: the strong stability case
Authors:
Sergey Foss,
Masakiyo Miyazawa
Abstract:
We consider a two-node fluid network with batch arrivals of random size having a heavy-tailed distribution. We are interested in the tail asymptotics for the stationary distribution of a two-dimensional queue-length process. The tail asymptotics have been well studied for two-dimensional reflecting processes where jumps have either a bounded or an unbounded light-tailed distribution. However, pres…
▽ More
We consider a two-node fluid network with batch arrivals of random size having a heavy-tailed distribution. We are interested in the tail asymptotics for the stationary distribution of a two-dimensional queue-length process. The tail asymptotics have been well studied for two-dimensional reflecting processes where jumps have either a bounded or an unbounded light-tailed distribution. However, presence of heavy tails totally changes the asymptotics. Here we focus on the case of strong stability where both nodes release fluid with sufficiently high speeds to minimise their mutual influence. We show that, like in the one-dimensional case, big jumps provide the main cause for queues to become large, but now they may have multi-dimensional features. For deriving these results, we develop an analytic approach that differs from the traditional tail asymptotic studies, and obtain various weak tail equivalences. Then, in the case of one-dimensional subexponential jump-size distributions, we find the exact asymptotics based on the sample-path arguments.
△ Less
Submitted 5 October, 2013;
originally announced October 2013.
-
Tail asymptotics of the stationary distribution of a two dimensional reflecting random walk with unbounded upward jumps
Authors:
Masahiro Kobayashi,
Masakiyo Miyazawa
Abstract:
We consider a two dimensional reflecting random walk on the nonnegative integer quadrant. This random walk is assumed to be skip free in the direction to the boundary of the quadrant, but may have unbounded jumps in the opposite direction, which are referred to as upward jumps. We are interested in the tail asymptotic behavior of its stationary distribution, provided it exists. Assuming the upward…
▽ More
We consider a two dimensional reflecting random walk on the nonnegative integer quadrant. This random walk is assumed to be skip free in the direction to the boundary of the quadrant, but may have unbounded jumps in the opposite direction, which are referred to as upward jumps. We are interested in the tail asymptotic behavior of its stationary distribution, provided it exists. Assuming the upward jump size distributions have light tails, we completely find the rough tail asymptotics of the marginal stationary distributions in all directions. This generalizes the corresponding results for the skip free reflecting random walk in Miyazawa (2009) [Mathematics of Operations Research 34, 547-575]. We exemplify these results for a two node network with exogenous batch arrivals.
△ Less
Submitted 23 June, 2014; v1 submitted 3 December, 2012;
originally announced December 2012.
-
Reversibility in Queueing Models
Authors:
Masakiyo Miyazawa
Abstract:
In stochastic models for queues and their networks, random events evolve in time. A process for their backward evolution is referred to as a time reversed process. It is often greatly helpful to view a stochastic model from two different time directions. In particular, if some property is unchanged under time reversal, we may better understand that property. A concept of reversibility is invented…
▽ More
In stochastic models for queues and their networks, random events evolve in time. A process for their backward evolution is referred to as a time reversed process. It is often greatly helpful to view a stochastic model from two different time directions. In particular, if some property is unchanged under time reversal, we may better understand that property. A concept of reversibility is invented for this invariance. Local balance for a stationary Markov chain has been used for a weaker version of the reversibility. However, it is still too strong for queueing applications.
We are concerned with a continuous time Markov chain, but dose not assume it has the stationary distribution. We define reversibility in structure as an invariant property of a family of the set of models under certain operation. The member of this set is a pair of transition rate function and its supporting measure, and each set represents dynamics of queueing systems such as arrivals and departures. We use a permutation Γ of the family menmbers, that is, the sets themselves, to describe the change of the dynamics under time reversal. This reversibility is is called Γ-reversibility in structure.
To apply these definitions, we introduce new classes of models, called reacting systems and self-reacting systems. Using those definitions and models, we give a unified view for queues and their networks which have reversibility in structure, and show how their stationary distributions can be obtained. They include symmetric service, batch movements and state dependent routing.
△ Less
Submitted 26 April, 2013; v1 submitted 3 December, 2012;
originally announced December 2012.
-
Join the shortest queue among $k$ parallel queues: tail asymptotics of its stationary distribution
Authors:
Masahiro Kobayashi,
Yutaka Sakuma,
Masakiyo Miyazawa
Abstract:
We are concerned with an $M/M$-type join the shortest queue ($M/M$-JSQ for short) with $k$ parallel queues for an arbitrary positive integer $k$, where the servers may be heterogeneous. We are interested in the tail asymptotic of the stationary distribution of this queueing model, provided the system is stable. We prove that this asymptotic for the minimum queue length is exactly geometric, and it…
▽ More
We are concerned with an $M/M$-type join the shortest queue ($M/M$-JSQ for short) with $k$ parallel queues for an arbitrary positive integer $k$, where the servers may be heterogeneous. We are interested in the tail asymptotic of the stationary distribution of this queueing model, provided the system is stable. We prove that this asymptotic for the minimum queue length is exactly geometric, and its decay rate is the $k$-th power of the traffic intensity of the corresponding $k$ server queues with a single waiting line. For this, we use two formulations, a quasi-birth-and-death (QBD for short) process and a reflecting random walk on the boundary of the $k+1$-dimensional orthant. The QBD process is typically used in the literature for studying the JSQ with 2 parallel queues, but the random walk also plays a key roll in our arguments, which enables us to use the existing results on tail asymptotics for the QBD process.
△ Less
Submitted 26 April, 2013; v1 submitted 3 December, 2012;
originally announced December 2012.
-
Revisit to the tail asymptotics of the double QBD process: Refinement and complete solutions for the coordinate and diagonal directions
Authors:
Masahiro Kobayashi,
Masakiyo Miyazawa
Abstract:
We consider a two dimensional skip-free reflecting random walk on a nonnegative integer quadrant. We are interested in the tail asymptotics of its stationary distribution, provided its existence is assumed. We derive exact tail asymptotics for the stationary probabilities on the coordinate axis. This refines the asymptotic results in the literature, and completely solves the tail asymptotic proble…
▽ More
We consider a two dimensional skip-free reflecting random walk on a nonnegative integer quadrant. We are interested in the tail asymptotics of its stationary distribution, provided its existence is assumed. We derive exact tail asymptotics for the stationary probabilities on the coordinate axis. This refines the asymptotic results in the literature, and completely solves the tail asymptotic problem on the stationary marginal distributions in the coordinate and diagonal directions. For this, we use the so-called analytic function method in such a way that either generating functions or moment generating functions are suitably chosen. The results are exemplified by a two node network with simultaneous arrivals.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Stationary distribution of a two-dimensional SRBM: geometric views and boundary measures
Authors:
Jim G. Dai,
Masakiyo Miyazawa
Abstract:
We present three sets of results for the stationary distribution of a two-dimensional semimartingale reflecting Brownian motion (SRBM) that lives in the nonnegative quadrant. The SRBM data can equivalently be specified by three geometric objects, an ellipse and two lines, in the two-dimensional Euclidean space. First, we revisit the variational problem (VP) associated with the SRBM. Building on Av…
▽ More
We present three sets of results for the stationary distribution of a two-dimensional semimartingale reflecting Brownian motion (SRBM) that lives in the nonnegative quadrant. The SRBM data can equivalently be specified by three geometric objects, an ellipse and two lines, in the two-dimensional Euclidean space. First, we revisit the variational problem (VP) associated with the SRBM. Building on Avram, Dai and Hasenbein (2001), we show that the value of the VP at a point in the quadrant is equal to the optimal value of a linear function over a convex domain. Depending on the location of the point, the convex domain is either D(1) or D(2) or D(1) cap D(2), where each D(i), i = 1, 2, can easily be described by the three geometric objects. Our results provide a geometric interpretation for the value function of the VP and allow one to see geometrically when one edge of the quadrant has influence on the optimal path traveling from the origin to a destination point. Second, we provide a geometric condition that characterizes the existence of a product form stationary distribution. Third, we establish exact tail asymptotics of two boundary measures that are associated with the stationary distribution; a key step in our proof is to sharpen two asymptotic inversion lemmas in Dai and Miyazawa (2011) that allow one to infer the exact tail asymptotic of a boundary measure from the singularity of its moment generating function.
△ Less
Submitted 3 December, 2012; v1 submitted 9 October, 2011;
originally announced October 2011.
-
Hitting probabilities in a Markov additive process with linear movements and upward jumps: applications to risk and queueing processes
Authors:
Masakiyo Miyazawa
Abstract:
Motivated by a risk process with positive and negative premium rates, we consider a real-valued Markov additive process with finitely many background states. This additive process linearly increases or decreases while the background state is unchanged, and may have upward jumps at the transition instants of the background state. It is known that the hitting probabilities of this additive process…
▽ More
Motivated by a risk process with positive and negative premium rates, we consider a real-valued Markov additive process with finitely many background states. This additive process linearly increases or decreases while the background state is unchanged, and may have upward jumps at the transition instants of the background state. It is known that the hitting probabilities of this additive process at lower levels have a matrix exponential form. We here study the hitting probabilities at upper levels, which do not have a matrix exponential form in general. These probabilities give the ruin probabilities in the terminology of the risk process. Our major interests are in their analytic expressions and their asymptotic behavior when the hitting level goes to infinity under light tail conditions on the jump sizes. To derive those results, we use a certain duality on the hitting probabilities, which may have an independent interest because it does not need any Markovian assumption.
△ Less
Submitted 9 June, 2004;
originally announced June 2004.
-
Theory of Anomalous Hall Effect in a Heavy fermion System with a Strong Anisotropic Crystal Field
Authors:
Hiroshi Kontani,
Morio Miyazawa,
Kosaku Yamada
Abstract:
In a heavy fermion system, there exists the anomalous Hall effect caused by localized $f$-orbital freedom, in addition to the normal Hall effect due to the Lorentz force. In 1994, we found that the Hall coefficient caused by the anomalous Hall effect ($R_H^{AHE}$) is predominant and the relation $R_H^{AHE} \propto ρ^2$ ($ρ$ is the electrical resistivity) holds at low temperatures in many compoun…
▽ More
In a heavy fermion system, there exists the anomalous Hall effect caused by localized $f$-orbital freedom, in addition to the normal Hall effect due to the Lorentz force. In 1994, we found that the Hall coefficient caused by the anomalous Hall effect ($R_H^{AHE}$) is predominant and the relation $R_H^{AHE} \propto ρ^2$ ($ρ$ is the electrical resistivity) holds at low temperatures in many compounds. In this work, we study the system where the magnetic susceptibility is highly anisotropic due to the strong crystalline electric field on $f$-orbitals. Interestingly, we find that $R_H^{AHE}$ is nearly isotropic in general. This tendency is frequently observed experimentally, which has casted suspicion that the anomalous Hall effect may be irrelevant in real materials. Our theory corresponds to corrections and generalizations of the pioneering work on ferromagnetic metals by Karplus and Luttinger.
△ Less
Submitted 1 July, 1997;
originally announced July 1997.
