Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.06.001
Richard J. Boucherie
This paper considers the cycle maximum in birth–death processes as a stepping stone to characterisation of the asymptotic behaviour of the maximum number of customers in single queues and open Kelly–Whittle networks of queues. For positive recurrent birth–death processes we show that the sequence of sample maxima is stochastically compact. For transient birth–death processes we show that the sequence of sample maxima conditioned on the maximum being finite is stochastically compact.
We show that the Markov chain recording the total number of customers in a Kelly–Whittle network is a birth–death process with birth and death rates determined by the normalising constants in a suitably defined sequence of closed networks. Explicit or asymptotic expressions for these normalising constants allow asymptotic evaluation of the birth and death rates, which, in turn, allows characterisation of the cycle maximum in a single busy cycle, and convergence of the sequence of sample maxima for Kelly–Whittle networks of queues.
{"title":"On the cycle maximum of birth–death processes and networks of queues","authors":"Richard J. Boucherie","doi":"10.1016/j.indag.2023.06.001","DOIUrl":"10.1016/j.indag.2023.06.001","url":null,"abstract":"<div><p>This paper considers the cycle maximum in birth–death processes as a stepping stone to characterisation of the asymptotic behaviour of the maximum number of customers in single queues and open Kelly–Whittle networks of queues. For positive recurrent birth–death processes we show that the sequence of sample maxima is stochastically compact. For transient birth–death processes we show that the sequence of sample maxima conditioned on the maximum being finite is stochastically compact.</p><p>We show that the Markov chain recording the total number of customers in a Kelly–Whittle network is a birth–death process with birth and death rates determined by the normalising constants in a suitably defined sequence of closed networks. Explicit or asymptotic expressions for these normalising constants allow asymptotic evaluation of the birth and death rates, which, in turn, allows characterisation of the cycle maximum in a single busy cycle, and convergence of the sequence of sample maxima for Kelly–Whittle networks of queues.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 1064-1076"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45663515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.06.002
Viet Hung Hoang , Kilian Raschel , Pierre Tarrago
We consider discrete (time and space) random walks confined to the quarter plane, with jumps only in directions with and small negative jumps, i.e., . These walks are called singular, and were recently intensively studied from a combinatorial point of view. In this paper, we show how the compensation approach introduced in the 90ies by Adan, Wessels and Zijm may be applied to compute positive harmonic functions with Dirichlet boundary conditions. In particular, in case the random walks have a drift with positive coordinates, we derive an explicit formula for the escape probability, which is the probability to tend to infinity without reaching the boundary axes. These formulas typically involve famous recurrent sequences, such as the Fibonacci numbers. As a second step, we propose a probabilistic interpretation of the previously constructed harmonic functions and prove that they allow us to compute all positive harmonic functions of these singular walks. To that purpose, we derive the asymptotics of the Green functions in all directions of the quarter plane and use Martin boundary theory.
{"title":"Harmonic functions for singular quadrant walks","authors":"Viet Hung Hoang , Kilian Raschel , Pierre Tarrago","doi":"10.1016/j.indag.2023.06.002","DOIUrl":"10.1016/j.indag.2023.06.002","url":null,"abstract":"<div><p>We consider discrete (time and space) random walks confined to the quarter plane, with jumps only in directions <span><math><mrow><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo></mrow></math></span> with <span><math><mrow><mi>i</mi><mo>+</mo><mi>j</mi><mo>≥</mo><mn>0</mn></mrow></math></span> and small negative jumps, i.e., <span><math><mrow><mi>i</mi><mo>,</mo><mi>j</mi><mo>≥</mo><mo>−</mo><mn>1</mn></mrow></math></span><span><span>. These walks are called singular, and were recently intensively studied from a combinatorial point of view. In this paper, we show how the compensation approach introduced in the 90ies by Adan, Wessels and Zijm may be applied to compute positive harmonic functions with </span>Dirichlet boundary conditions<span>. In particular, in case the random walks have a drift with positive coordinates, we derive an explicit formula for the escape probability, which is the probability to tend to infinity without reaching the boundary axes. These formulas typically involve famous recurrent sequences, such as the Fibonacci numbers. As a second step, we propose a probabilistic interpretation of the previously constructed harmonic functions and prove that they allow us to compute all positive harmonic functions of these singular walks. To that purpose, we derive the asymptotics of the Green functions in all directions of the quarter plane and use Martin boundary theory.</span></span></p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 936-972"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44249978","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.05.005
Andrea Marin , Isi Mitrani
Two models involving a foreground and a background queue are studied in the steady state. Service is provided either by a single server whose speed depends on the total number of jobs present, or by several parallel servers whose number may be controlled dynamically. Job service times have a two-phase Coxian distribution. Incoming jobs join the foreground queue where they execute phase 1, and then possibly move to the background queue for the second phase at lower priority. The trade-offs between holding and energy consumption costs are examined by means of a suitable cost function. Two different two-dimensional Markov processes are solved exactly. The solutions are used in several numerical experiments, aimed at illustrating different aspects of system behaviour.
{"title":"A Foreground–Background queueing model with speed or capacity modulation","authors":"Andrea Marin , Isi Mitrani","doi":"10.1016/j.indag.2023.05.005","DOIUrl":"https://doi.org/10.1016/j.indag.2023.05.005","url":null,"abstract":"<div><p>Two models involving a foreground and a background queue are studied in the steady state. Service is provided either by a single server whose speed depends on the total number of jobs present, or by several parallel servers whose number may be controlled dynamically. Job service times have a two-phase Coxian distribution. Incoming jobs join the foreground queue where they execute phase 1, and then possibly move to the background queue for the second phase at lower priority. The trade-offs between holding and energy consumption costs are examined by means of a suitable cost function. Two different two-dimensional Markov processes are solved exactly. The solutions are used in several numerical experiments, aimed at illustrating different aspects of system behaviour.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 1077-1100"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49852999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.03.002
R. Núñez-Queija , B.J. Prabhu , J.A.C. Resing
We investigate Markovian queues that are examined by a controller at random times determined by a Poisson process. Upon examination, the controller sets the service speed to be equal to the minimum of the current number of customers in the queue and a certain maximum service speed; this service speed prevails until the next examination time. We study the resulting two-dimensional Markov process of queue length and server speed, in particular two regimes with time scale separation, specifically for infinitely frequent and infinitely long examination times. In the intermediate regime the analysis proves to be extremely challenging. To gain further insight into the model dynamics we then analyse two variants of the model in which the controller is just an observer and does not change the speed of the server.
{"title":"Markovian queues with Poisson control","authors":"R. Núñez-Queija , B.J. Prabhu , J.A.C. Resing","doi":"10.1016/j.indag.2023.03.002","DOIUrl":"https://doi.org/10.1016/j.indag.2023.03.002","url":null,"abstract":"<div><p>We investigate Markovian queues that are examined by a controller at random times determined by a Poisson process. Upon examination, the controller sets the service speed to be equal to the minimum of the current number of customers in the queue and a certain maximum service speed; this service speed prevails until the next examination time. We study the resulting two-dimensional Markov process of queue length and server speed, in particular two regimes with time scale separation, specifically for infinitely frequent and infinitely long examination times. In the intermediate regime the analysis proves to be extremely challenging. To gain further insight into the model dynamics we then analyse two variants of the model in which the controller is just an observer and does not change the speed of the server.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 990-1013"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49852997","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.05.002
Igor Kleiner , Esther Frostig , David Perry
We introduce a queueing system that alternates between two modes, so-called working mode and vacation mode. During the working mode the system runs as an queue. Once the number of customers in the working mode drops to zero the vacation mode begins. During the vacation mode the system runs as a general queueing system (a service might be included) which is different from the one in the working mode. The vacation period ends in accordance with a given stopping rule, and then a random number of customers are transferred to the working mode. For this model we show that the number of customers given that the system is in the working mode is distributed as the sum of two independent random variables, one of them is the number of customers in an queue given that the server is busy. This decomposition result puts under the same umbrella some models that have already been introduced in the past as well as some new models.
{"title":"A decomposition property for an MX/G/1 queue with vacations","authors":"Igor Kleiner , Esther Frostig , David Perry","doi":"10.1016/j.indag.2023.05.002","DOIUrl":"https://doi.org/10.1016/j.indag.2023.05.002","url":null,"abstract":"<div><p><span>We introduce a queueing system that alternates between two modes, so-called </span><em>working mode</em> and <em>vacation mode</em>. During the working mode the system runs as an <span><math><mrow><msup><mrow><mi>M</mi></mrow><mrow><mi>X</mi></mrow></msup><mo>/</mo><mi>G</mi><mo>/</mo><mn>1</mn></mrow></math></span><span> queue. Once the number of customers in the working mode drops to zero the vacation mode begins. During the vacation mode the system runs as a general queueing system (a service might be included) which is different from the one in the working mode. The vacation period ends in accordance with a given stopping rule, and then a random number of customers are transferred to the working mode. For this model we show that the number of customers given that the system is in the working mode is distributed as the sum of two independent random variables, one of them is the number of customers in an </span><span><math><mrow><msup><mrow><mi>M</mi></mrow><mrow><mi>X</mi></mrow></msup><mo>/</mo><mi>G</mi><mo>/</mo><mn>1</mn></mrow></math></span> queue given that the server is busy. This decomposition result puts under the same umbrella some models that have already been introduced in the past as well as some new models.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 973-989"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49852998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.05.007
Ivo J.B.F. Adan , Ioannis Dimitriou
Motivated by queueing applications, we consider a class of two-dimensional random walks, the invariant measure of which can be written as a linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations among the transition probabilities in the inner area, the boundaries as well as the origin. A discussion on the importance of these conditions is also given.
{"title":"A finite compensation procedure for a class of two-dimensional random walks","authors":"Ivo J.B.F. Adan , Ioannis Dimitriou","doi":"10.1016/j.indag.2023.05.007","DOIUrl":"10.1016/j.indag.2023.05.007","url":null,"abstract":"<div><p><span><span>Motivated by queueing applications, we consider a class of two-dimensional random walks, the invariant measure of which can be written as a </span>linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations among the </span>transition probabilities in the inner area, the boundaries as well as the origin. A discussion on the importance of these conditions is also given.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 891-935"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42431169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2022.09.003
Offer Kella , Andreas Löpker
In this paper we consider the notions of binomial thinning, binomial mixing, their generalizations, certain interplay between them, associated limit theorems and provide various examples.
{"title":"On binomial thinning and mixing","authors":"Offer Kella , Andreas Löpker","doi":"10.1016/j.indag.2022.09.003","DOIUrl":"10.1016/j.indag.2022.09.003","url":null,"abstract":"<div><p>In this paper we consider the notions of binomial thinning, binomial mixing, their generalizations, certain interplay between them, associated limit theorems and provide various examples.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 1121-1145"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42449200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2023.04.003
Sem Borst
The present paper is concerned with the stationary workload of queues with heavy-tailed (regularly varying) characteristics. We adopt a transform perspective to illuminate a close connection between the tail asymptotics and heavy-traffic limit in infinite-variance scenarios. This serves as a tribute to some of the pioneering results of J.W. Cohen in this domain. We specifically demonstrate that reduced-load equivalence properties established for the tail asymptotics of the workload naturally extend to the heavy-traffic limit.
{"title":"Heavy loads and heavy tails","authors":"Sem Borst","doi":"10.1016/j.indag.2023.04.003","DOIUrl":"10.1016/j.indag.2023.04.003","url":null,"abstract":"<div><p>The present paper is concerned with the stationary workload of queues with heavy-tailed (regularly varying) characteristics. We adopt a transform perspective to illuminate a close connection between the tail asymptotics and heavy-traffic limit in infinite-variance scenarios. This serves as a tribute to some of the pioneering results of J.W. Cohen in this domain. We specifically demonstrate that reduced-load equivalence properties established for the tail asymptotics of the workload naturally extend to the heavy-traffic limit.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 1038-1063"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44459400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-09-01DOI: 10.1016/j.indag.2022.11.001
Efrat Perel , Nir Perel , Uri Yechiali
In 1987, J.W. Cohen analyzed the so-called Serve the Longest Queue (SLQ) queueing system, where a single server attends two non-symmetric -type queues, exercising a non-preemptive priority switching policy. Cohen further analyzed in 1998 a non-symmetric 2-queue Markovian system, where newly arriving customers follow the Join the Shortest Queue (JSQ) discipline. The current paper generalizes and extends Cohen’s works by studying a combined JSQ–SLQ model, and by broadening the scope of analysis to a non-symmetric 3-queue system, where arriving customers follow the JSQ strategy and a single server exercises the preemptive priority SLQ discipline. The system states’ multi-dimensional probability distribution function is derived while applying a non-conventional representation of the underlying process’s state-space. The analysis combines both Probability Generating Functions and Matrix Geometric methodologies. It is shown that the joint JSQ–SLQ operating policy achieves extremely well the goal of balancing between queue sizes. This is emphasized when calculating the Gini Index associated with the differences between mean queue sizes: the value of the coefficient is close to zero. Extensive numerical results are presented.
{"title":"A 3-queue polling system with join the shortest-serve the longest policy","authors":"Efrat Perel , Nir Perel , Uri Yechiali","doi":"10.1016/j.indag.2022.11.001","DOIUrl":"10.1016/j.indag.2022.11.001","url":null,"abstract":"<div><p><span>In 1987, J.W. Cohen analyzed the so-called Serve the Longest Queue (SLQ) queueing system, where a single server attends two non-symmetric </span><span><math><mrow><mi>M</mi><mo>/</mo><mi>G</mi><mo>/</mo><mn>1</mn></mrow></math></span><span><span>-type queues, exercising a non-preemptive priority switching policy. Cohen further analyzed in 1998 a non-symmetric 2-queue Markovian system, where newly arriving customers follow the Join the Shortest Queue (JSQ) discipline. The current paper generalizes and extends Cohen’s works by studying a combined JSQ–SLQ model, and by broadening the scope of analysis to a non-symmetric 3-queue system, where arriving customers follow the JSQ strategy and a single server exercises the preemptive priority SLQ discipline. The system states’ multi-dimensional probability distribution function is derived while applying a non-conventional representation of the underlying process’s state-space. The analysis combines both </span>Probability Generating Functions<span> and Matrix Geometric methodologies. It is shown that the joint JSQ–SLQ operating policy achieves extremely well the goal of balancing between queue sizes. This is emphasized when calculating the Gini Index associated with the differences between mean queue sizes: the value of the coefficient is close to zero. Extensive numerical results are presented.</span></span></p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 5","pages":"Pages 1101-1120"},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43339475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-28DOI: 10.1016/j.indag.2023.07.003
Haruki Ide, Taka-aki Tanaka
We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero components, is algebraically independent. In Section 2 of this paper, we develop a technique involving linear isomorphisms and infinite products to replace the algebraic independence of the values of functions in question with that of functions easier to deal with. In Sections 2 and 3, using the technique together with Mahler’s method, we can reduce the algebraic independence of the infinite set mentioned above to the linear independence of certain rational functions modulo the rational function field of many variables. The latter one is solved by the discussions involving a certain valuation and a generic point in Sections 3 and 4.
{"title":"Algebraic independence of the partial derivatives of certain functions with arbitrary number of variables","authors":"Haruki Ide, Taka-aki Tanaka","doi":"10.1016/j.indag.2023.07.003","DOIUrl":"10.1016/j.indag.2023.07.003","url":null,"abstract":"<div><p><span>We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero components, is algebraically independent. In Section 2 of this paper, we develop a technique involving linear isomorphisms<span> and infinite products to replace the algebraic independence of the values of functions in question with that of functions easier to deal with. In Sections 2 and 3, using the technique together with Mahler’s method, we can reduce the algebraic independence of the infinite set mentioned above to the linear independence of certain rational functions </span></span>modulo the rational function field of many variables. The latter one is solved by the discussions involving a certain valuation and a generic point in Sections 3 and 4.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"34 6","pages":"Pages 1397-1418"},"PeriodicalIF":0.6,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49589484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}