Heavy-traffic limit of stationary distributions of a state-dependent queue
Pith reviewed 2026-05-10 17:57 UTC · model grok-4.3
The pith
The heavy-traffic limit of stationary distributions for state-dependent queues takes a closed form precisely when the limiting drift is negative.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the heavy-traffic limit of the stationary distributions is obtained in a closed form if and only if that negative drift condition holds, under the density condition that the limit of every vaguely convergent subsequence has a density. The sequence of distributions is also shown to be tight when the heavy-traffic limit of their drifts exists and is negative.
What carries the argument
The limiting drift function (arrival speed minus service speed) as queue length tends to infinity, which controls whether the stationary distribution converges to a non-degenerate closed-form limit.
If this is right
- The sequence of stationary distributions of the diffusion-scaled process is tight under the existence of a negative limiting drift.
- Under the density condition, the limiting distribution exists in closed form exactly when the drift condition holds.
- For multi-level queues the density condition always holds, so the closed-form limit follows directly from negative drift.
Where Pith is reading between the lines
- Designers of load-dependent service policies can use the closed form to predict performance near capacity.
- The result may extend to finding optimal state-dependent rates that minimize cost while satisfying the negative-drift requirement.
- Similar drift conditions could be used to analyze heavy-traffic limits in other state-dependent stochastic systems.
Load-bearing premise
The limit of every vaguely convergent subsequence of the stationary distributions has a density.
What would settle it
A specific state-dependent speed function where the limiting drift is negative but the actual stationary distribution after scaling does not match the closed-form expression or lacks a density.
read the original abstract
Inspired by the work of Atar and Miyazawa [1] (2026) as well as applications to energy-saving problems, we are interested in the heavy-traffic limit of the stationary queue length distribution, which is not addressed in [1]. In this paper, we consider this heavy-traffic limit for the single server queue which has the most general possible state-dependence. Namely, arrival and service speeds may take any values depending on the queue length. Here, the terminology, heavy-traffic limit, stands for a diffusion-scaled limit in heavy-traffic for processes, distributions and modeling primitives. This general model is referred to as a state-dependent queue. There are two motivations for this generalization. One is interest in the state-dependent queue itself because it allows finer control of service speed in application. Another is making it clear how the heavy-traffic limit is obtained under what conditions for the state-dependent queue. Thus, we start to study basic properties of this state-dependent queue, including its stability. We then take the sequence of the stationary distributions of its diffusion scaled queue-length processes. We have three main results for this sequence. We first show that it is tight if the heavy-traffic limit of their drifts exists and is negative as the queue length goes to infinity, where a drift is the arrival speed minus the service speed. We next assume the condition that the limit of every vaguely convergent subsequence has a density, which is referred to as a density condition, and show that the heavy-traffic limit of the stationary distributions is obtained in a closed form if and only if that negative drift condition holds. We then show that the density condition is always satisfied for the multi-level queue, so the problem is nicely solved for the multi-level queue.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the heavy-traffic limit of the stationary distributions for a general state-dependent single-server queue, where arrival and service rates depend arbitrarily on the queue length. It establishes three main results: (1) tightness of the sequence of diffusion-scaled stationary distributions under the condition that the limiting drift is negative, (2) under an auxiliary density condition on vague subsequential limits, the limit exists in closed form if and only if the negative drift condition holds, and (3) the density condition is satisfied for the multi-level queue subclass.
Significance. This work extends heavy-traffic diffusion approximations to highly general state-dependent queues, providing explicit conditions for the existence and form of the limiting stationary distribution. The closed-form expression and the resolution for multi-level queues are particularly valuable for applications in energy-efficient systems. The use of standard tightness and weak convergence arguments, combined with the verification of the density condition in a subclass, strengthens the contribution. If the proofs are complete and correct, this could serve as a foundational reference for state-dependent queueing models.
minor comments (4)
- The abstract cites 'Atar and Miyazawa [1] (2026)'; confirm the publication year and full reference details, as 2026 appears prospective.
- Clarify the precise meaning of 'vaguely convergent subsequence' and the topology used when stating the density condition (likely in the section introducing the main theorems).
- Ensure consistent notation for the drift process (arrival speed minus service speed) between the abstract, the stability section, and the limit theorems.
- The multi-level queue verification of the density condition is stated as always holding; add a brief remark on whether this extends immediately to other natural subclasses or requires separate arguments.
Simulated Author's Rebuttal
We thank the referee for the positive and accurate summary of our work on heavy-traffic limits for general state-dependent queues, as well as the recommendation for minor revision. The significance noted for the closed-form results and the multi-level queue subclass is appreciated. No specific major comments were raised in the report, so we provide no point-by-point rebuttals below.
Circularity Check
No significant circularity detected
full rationale
The derivation relies on standard tightness arguments for the diffusion-scaled stationary distributions under a negative limiting drift condition, followed by identification of the limit under an auxiliary density condition on vague subsequential limits. The density condition is stated as an assumption for the general state-dependent case and is separately verified for the multi-level subclass; neither step reduces the claimed closed-form limit to a fitted quantity, self-definition, or load-bearing self-citation chain. The iff statement is scoped to the assumed conditions and follows from weak-convergence machinery applied to the model primitives without internal reduction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Tightness criteria for diffusion-scaled processes under state-dependent rates
- domain assumption Every vaguely convergent subsequence possesses a density
Reference graph
Works this paper leans on
-
[1]
, " * write output.state after.block = add.period write newline
ENTRY address archive author booktitle chapter collaboration edition editor eid eprint howpublished institution journal key month note number numpages organization pages publisher school series title type url volume year label extra.label sort.label short.list INTEGERS output.state before.all mid.sentence after.sentence after.block FUNCTION init.state.con...
-
[2]
" write newline "" before.all 'output.state := FUNCTION n.dashify 't := "" t empty not t #1 #1 substring "-" = t #1 #2 substring "--" = not "--" * t #2 global.max substring 't := t #1 #1 substring "-" = "-" * t #2 global.max substring 't := while if t #1 #1 substring * t #2 global.max substring 't := if while FUNCTION word.in bbl.in capitalize " " * FUNCT...
-
[3]
Atar, R. and Miyazawa, M. (2026). Heavy traffic limit with discontinuous coefficients via a non-standard semimartingale decomposition. To appear in Mathematics of Operations Research. ://arxiv.org/pdf/2502.16467v2
- [4]
-
[5]
Braverman, A. , Dai, J. and Miyazawa, M. (2024). The BAR -approach for multiclass queueing networks with SBP service policies. Stochastic Systems. Published online in Articles in Advance, ://doi.org/10.1287/stsy.2023.0011
-
[6]
Chung, K. L. (2001). A Course in Probability Theory. 3rd ed. Academic Press (An Imprint of Elsevier)
work page 2001
-
[7]
Dai, J. G. (1995). On positive H arris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Annals of Applied Probability, 5 49--77
work page 1995
-
[8]
Davis, M. H. A. (1993). Markov Models and Optimization. Monographs on Statistics and Applied Probability 49, Chapman & Hall
work page 1993
-
[9]
Jacod, J. and Shiryaev, A. N. (2003). Limit Theorems for stochastic processes. 2nd ed. Springer, Berlin
work page 2003
-
[10]
Kallenberg, O. (2001). Foundations of Modern Probability. 2nd ed. Springer Series in Statistics, Probability and its applications, Springer, New York
work page 2001
-
[11]
Kobayashi, M. , Miyazawa, M. and Sakuma, Y. (2025). Heavy traffic limit of stationary distribution of multi-level single server queue under time change. Research report. ://arxiv.org/abs/2505.03504
-
[12]
Miyazawa, M. (1994). Rate conservation laws: a survey. Queueing Systems, 15 1--58
work page 1994
-
[13]
Miyazawa, M. (2017). A unified approach for large queue asymptotics in a heterogeneous multiserver queue. Advances in Applied Probability, 49 182--220. ://dx.doi.org/10.1017/apr.2016.84
- [14]
- [15]
- [16]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.