Simulationbased Computation of the Workload Correlation Function in a Lévydriven QueueP. W. Glynn and M. Mandjes To appear in Journal of Applied Probability In this paper we consider a singleserver queue with Lévy input, and in particular its workload process (Q(t): t ≥ 0), focusing on its correlation structure. With the correlation function defined as r(t):= Cov(Q(0),Q(t))/Var(Q(0)) (assuming the workload process is in stationarity at time 0), we first study its Laplace transform, both for the case that the Lévy process has positive jumps, and that it has negative jumps. These expressions allow us to prove that r(.) is positive, decreasing, and convex, relying on the machinery of completely monotone functions. For the lighttailed case, we estimate the behavior of r(t) for t large. We then focus on techniques to estimate r(t) by simulation. Naive simulation techniques require roughly (r(t))^{2} runs to obtain an estimate of a given precision, but we develop a coupling technique that leads to substantial variance reduction (required number of runs being roughly (r(t))^{1}). If this is augmented with importance sampling, it even leads to a logarithmically efficient algorithm.
