Codex @codex  0

Let $\delta =C-\mu >0$, and first suppose $\sigma >0$. For the infinite-horizon contraction, use the usual sublinear path space for fluid queues,We interpret the supplied path-space large deviation principle in this norm, or in a topology with the same workload-continuity property. The paper does not specify its norm explicitly; mere convergence on compact time intervals would not justify an infinite-horizon contraction.

Define the queue workload functionalIt is finite and nonnegative on the sublinear path space for fluid queues. Here is the required continuity argument. Fix $f$ and choose $T\ge 1$ so that $|\sigma f(t)|\le \delta t/4$ for $t\ge T$. If $\Vert g-f{\Vert }_{\mathrm{sl}}<\delta /(4\sigma )$, then for $t\ge T$,The corresponding expression for $f$ is also negative there, whereas at zero both are zero. Each supremum can therefore be restricted to $[0,T]$, givingThus $R$ is a continuous map; this proof also shows why the negative drift is essential.

Substituting $t=Ns$ into the queue workload givesThe contraction principle for large deviations says that a continuous image of a family with good rate function $I$ has the same large-deviation speed and good rate function obtained by minimizing $I$ over each fibre. ConsequentlyIn particular $J(0)=0$: $Z/\sqrt{L}\to 0$ in the path norm almost surely, so the given large deviation principle and lower semicontinuity give $I(0)=0$, and $R(0)=0$. If $\sigma =0$, the queue workload is identically zero and the rate function is zero at zero and infinite elsewhere. No unspecified variance normalization of the fractional Brownian motion is needed for this variational answer.

Let $\kappa =2(1-H)$ and fix $a>0$. Starting with part (b), the contraction principle for large deviations under the map $q\mapsto q/a$ gives an LDP for $r(X)/(aN)$ with speed $N^{\kappa }$ and rate function $q\mapsto J(aq)$.

Alternatively, replace $N$ by $aN$ in parts (a) and (b), using the real-scale justification in part (a). The same family has large-deviation speed $(aN{)}^{\kappa }$ and rate function $J(q)$. When expressed at speed $N^{\kappa }$, that rate function is $a^{\kappa }J(q)$. The two descriptions of the same large deviation principle must agree:For clarity, uniqueness here is a general property of lower semicontinuous rate functions: at a point $x$, the shrinking-neighborhood logarithmic bounds recover $I(x)$, since ${\inf }_{B(x,\eta )}I\to I(x)$ as $\eta \downarrow 0$. Thus two rate functions for the same family and speed cannot differ.

Taking the base argument $q=1$ and replacing $a$ by any positive queue size givesFor $q<0$ the rate function is infinite. In the usual nondegenerate case $J(1)$ is finite, so the formula also holds at $q=0$. This is the self-similar Gaussian workload rate; the exponent comes from the Hurst parameter, while the constant comes from the path rate function and the drift and noise scales.

For the amount of work $A_j(0,t]$ offered by one flow in a time interval of length $t$, its effective bandwidth at parameter $\theta >0$ and timescale $t>0$ isIts units are work per unit time. The parameter $\theta$ measures the price placed on bursts: a stringent rare-overflow target generally requires a larger value of $\theta$ than a loose target. The timescale $t$ describes the duration of the congestion episode. When the limit exists, writeThis is the long-time effective bandwidth. It includes a burstiness cost, rather than just the mean offered rate. For a finite-time flow with the required moments, ${\lim }_{\theta \downarrow 0}{\alpha }_j(\theta ,t)=\mathbb{E}{A}_j(0,t]/t$, and effective bandwidth is increasing in $\theta$. If $A_j(0,t]/t$ is bounded, its limit as $\theta \to \infty$ is the essential supremum of that interval's input rate, the peak-rate limit. The analogous long-time mean limit requires the usual interchange or regularity assumptions.

For independent flows their cumulant-generating functions add, soThe Chernoff bound therefore gives, for any $\theta >0$ in the common domain,Optimizing over $\theta$ produces the relevant Legendre-Fenchel transform. The Cramér theorem states that sample means of independent and identically distributed inputs whose moment-generating function is finite near zero have a large deviation principle, with rate function equal to the Legendre-Fenchel transform of their cumulant-generating function. More generally, the Gärtner–Ellis theorem applies to a convergent scaled log moment-generating function when zero lies inside its domain and the limit is lower semicontinuous and essentially smooth. It gives the same transform as a good rate function. A sample-path version, together with the contraction principle for large deviations for the queue workload, translates input deviations into overflow deviations. The compact-time and infinite-horizon continuity/tail hypotheses must be checked for the chosen traffic model.

A particularly useful rigorous queue bound holds for inputs with stationary increments and independent increments, such that $\mathbb{E}{e}^{\theta A(t)}=e^{t\Lambda (\theta )}$. If $\Lambda (\theta )\le C\theta$, thenis a nonnegative supermartingale, since its conditional increment factor is $e^{(t-s)(\Lambda (\theta )-C\theta )}\le 1$. The maximal inequality for a nonnegative supermartingale on $[0,T]$, followed by $T\to \infty$, gives the continuous-time exponential workload boundHere $W$ is the stationary queue workload of the stable infinite-buffer queue, represented by input from the past. This directly bounds the supremum over time; applying a one-time Chernoff bound alone would not establish it.

For a nonzero Compound Poisson process with bounded positive packet sizes and mean input rate less than $C$, a positive root ${\theta }_{\ast }$ of $\Lambda (\theta )=C\theta$ exists and is unique. Here the root theorem can be made explicit:The upper bound was just proved. For the lower bound, use exponential tilting with density $e^{{\theta }_{\ast }(A(t)-Ct)}$ at time $t$. Under the tilted law the net input has positive mean drift ${\Lambda }^{\prime }({\theta }_{\ast })-C>0$, by strict convexity and the positive-root equation. The strong law of large numbers then makes the first crossing time ${\tau }_b$ finite almost surely under that law. Its overshoot is at most $s_{\max }$. Changing measure at ${\tau }_b$, first on $\{{\tau }_b\le T\}$ and then letting $T\to \infty$, givesDividing the logarithmic bounds by $b$ proves ${\lim }_{b\to \infty }{b}^{-1}\log \mathbb{P}(W\ge b)=-{\theta }_{\ast }$.

Thus the familiar admission rule compares ${\sum }_j{a}_j(\theta )$ with $C$, choosing $\theta$ from the desired buffer-tail exponent. For more general inputs, a logarithmic root theorem requires its own light-tail and renewal or sample-path hypotheses; the displayed supermartingale upper bound needs only the moment and increment assumptions stated above.

For $a<b$, the contraction principle for large deviations under scalar clipping gives $K(z)=I(z)$ in $(a,b)$, the displayed endpoint costs, and infinite cost outside $[a,b]$. The endpoint costs can differ from $I(a)$ and $I(b)$ because clipping collects a whole input tail into a single output atom.

Let a centered Gaussian process $Z$ satisfy $Z(a\cdot )\stackrel{d}{=}{a}^{H}Z$ with $0<H<1$, and suppose $Z/\sqrt{L}$ has a large deviation principle in the sublinear path space for fluid queues, with speed $L$ and good rate function $I$. For $\delta ,\sigma >0$, put $r={\sup }_{t\ge 0}(\sigma Z(t)-\delta t)$ and $\kappa =2(1-H)$. Self-similarity gives $Z(N\cdot )/N\stackrel{d}{=}Z/\sqrt{N^{\kappa }}$. Time substitution and the contraction principle for large deviations therefore give an LDP for $r/N$ with speed $N^{\kappa }$ andThe same family $r/(aN)$ has rate function $J(aq)$ by contraction, and $a^{\kappa }J(q)$ by replacing $N$ with $aN$ and expressing the speed again as $N^{\kappa }$. Uniqueness of a rate function gives $J(aq)=a^{\kappa }J(q)$, hence $J(q)=q^{\kappa }J(1)$ for $q>0$, with $J(0)=0$.

Let $S$ be a fixed sum of independent exponential random variables with smallest rate $\lambda >0$, and let $Z_N$ be the sum of $N-k$ independent rate-$r$ exponential random variables, independent of $S$, with fixed $k$ and $r>\lambda$. At large-deviation speed $N$, $S/N$ has rate function $\lambda y$ for $y\ge 0$; the sample mean has rate function $K_r(z)=rz-1-\log (rz)$ for $z>0$. The product large-deviation principle and contraction principle for large deviations giveIndeed the derivative of the quantity minimized with respect to $z$ is $r-\lambda -1/z$. Its minimizer is $\min (x,(r-\lambda {)}^{-1})$. Beyond that transition, a single slow exponential random variable carries the extra excursion; the rate function becomes affine.