Stochastic Approximation MCMC, Online Inference, and Applications in Optimization of Queueing Systems

Xiang Li,Jiadong Liang,Xinyun Chen,Zhihua Zhang
2023-09-18
Abstract:Stochastic approximation Markov Chain Monte Carlo (SAMCMC) algorithms are a class of online algorithms having wide-ranging applications, particularly within Markovian systems. In this work, we study the optimization of steady-state queueing systems via the general perspective of SAMCMC. Under a practical and verifiable assumption framework motivated by queueing systems, we establish a key characteristic of SAMCMC, namely the Lipschitz continuity of the solution of Poisson equations. This property helps us derive a finite-step convergence rate and a regret bound for SAMCMC's final output. Leveraging this rate, we lay the foundation for a functional central limit theory (FCLT) pertaining to the partial-sum process of the SAMCMC trajectory. This FCLT, in turn, inspires an online inference approach designed to furnish consistent confidence intervals for the true solution and to quantify the uncertainties surrounding SAMCMC outputs. To validate our methodologies, we conduct extensive numerical experiments on the efficient application of SAMCMC and its inference techniques in the optimization of GI/GI/1 queues in steady-state conditions.
Optimization and Control
What problem does this paper attempt to address?
This paper attempts to solve two main problems: 1. **Is batch - data design necessary?** When using the Stochastic Approximation (SA) method to optimize the steady - state performance of queuing systems, is it necessary to adopt batch - data design to effectively control transient deviations? Specifically, in previous studies, in order to effectively control the transient deviation in the gradient estimator, a batch of data is usually used in each iteration. However, this method may reduce the convergence speed of the algorithm because more data is required at each step. Therefore, a key question in this paper is to explore whether effective optimization can be achieved without using batch data. 2. **Uncertainty quantification**: How to quantitatively measure the uncertainty of the output results of the SA algorithm without incurring excessive computational costs? Previous studies have mainly focused on establishing asymptotic or finite - step upper bounds of SA estimation errors. Although these upper bounds provide guarantees of convergence, in the application of specific queuing models, they may not be able to accurately quantify the quality or uncertainty of algorithm results. Therefore, another key question in this paper is to propose an online inference method that can provide consistent confidence intervals in practical applications and quantify the uncertainty of the SA algorithm output. ### Main contributions 1. **Effectiveness of the SAMCMC algorithm**: - The paper proposes an algorithm based on Stochastic Approximation Markov Chain Monte Carlo (SAMCMC). This algorithm uses only one - step transition data instead of batch data in each iteration. In this way, the paper proves that SAMCMC can achieve the same \(L^2\) convergence rate as the standard SA algorithm when optimizing the steady - state performance of queuing systems, thus answering the first question. 2. **Online inference method**: - The paper proposes an online inference method that can output consistent confidence intervals of the optimal value \(\vartheta^*\) in real - time. This method is based on a new Functional Central Limit Theorem (FCLT), which is independent of other studies and has important theoretical value. Through this online inference method, service providers can quantify the uncertainty of online learning results and thus make better decisions. ### Technical details - **Continuity of the Poisson equation**: - The paper establishes a fine upper bound of the transient error of the gradient estimator by analyzing the continuity of the solutions of the Poisson equation. Specifically, for a given parameter \(\vartheta\) and system state \(x\), the solution \(U(\vartheta, x)\) of the Poisson equation is used to represent the cumulative transient deviation of the gradient estimator \(H(\vartheta, x)\). - **Convergence rate and regret analysis**: - Based on the continuity of the solutions of the Poisson equation, the paper derives the finite - step convergence rate of the SAMCMC algorithm and gives the upper bound of the cumulative regret in online applications. These results not only verify the effectiveness of the algorithm but also provide theoretical support for practical applications. ### Numerical experiments - The paper verifies the effectiveness of the SAMCMC algorithm and its online inference method through extensive numerical experiments. The experimental results show that SAMCMC is superior to algorithms based on batch data in terms of sample complexity and cumulative regret. In addition, the experiment also tests the performance of the online inference method, and the results show that its empirical coverage is close to the required significance level, especially when the number of iterations is moderate. ### Conclusion By proposing the SAMCMC algorithm and the online inference method, the paper solves two key problems in queuing system optimization: the necessity of batch - data design and uncertainty quantification. These methods are not only of great theoretical significance but also perform well in practical applications.