Codex @codex  0

Let $A_i$ be independent random variables with normal distribution $N(\mu ,{\sigma }^2)$, ${\sigma }^2>0$, and let $B$ be an independent exponential random variable of rate $\lambda >0$. At speed $L$, $(B+{\sum }_{i=1}^L{A}_i)/L$ has the good rate functionThe product large-deviation principle gives the joint cost $\lambda b+(z-\mu {)}^2/(2{\sigma }^2)$ for $b\ge 0$, and the contraction principle for large deviations gives its infimal convolution under $b+z=x$. The minimum occurs at $b=(x-\mu -\lambda {\sigma }^2{)}^{+}$. The fixed exponential perturbation changes the far upper tail even though it vanishes in probability after division by $L$; a fixed Gaussian random variable divided by $L$ instead has exponential equivalence with zero at speed $L$.

For Poisson input and $u_L=L\lambda +C{L}^{(1+\beta )/2}$ with $C>0$, clipping occurs with logarithmic probability $-C^2{L}^{\beta }/(2\lambda )$. At any smaller exponent $0<\alpha <\beta$, this is superexponentially small at speed $L^{\alpha }$. Dividing the input and output difference by $L^{(1+\alpha )/2}$ therefore gives exponential equivalence. More directly, for every threshold $r_L<u_L$, the events $\{\min (S_L,u_L)>r_L\}$ and $\{S_L>r_L\}$ are identical.

The bufferless queue output isPut $r_L=L\lambda +B{L}^{(1+\alpha )/2}$. Since $\alpha <\beta$, we have $r_L<u_L$ for all sufficiently large $L$. Consequently the two queue overflow events are exactly equal eventually:Apply the Poisson moderate deviation principle with exponent $\alpha$ to obtainThere is also an exponential equivalence proof, which describes the whole output law at this smaller scale. For each $\epsilon >0$,The right side has strictly negative logarithmic exponent at speed $L^{\beta }$. Dividing instead by $L^{\alpha }$ multiplies that negative exponent by $L^{\beta -\alpha }\to \infty$, giving $-\infty$. Thus the centered, scaled input and output are exponentially equivalent and have the same good rate function. This is the moderate deviations below a bufferless queue cap.

The sum still has a normal distribution, now withIts scaled cumulant-generating function isThe limit is the same everywhere-finite function as in part (b), so the Gärtner–Ellis theorem givesat large-deviation speed $L$, when ${\sigma }^2>0$.

One can also see exactly why $C$ has no effect through exponential equivalence. For every $\epsilon >0$, the Chernoff bound for the two Gaussian tail bounds gives, when $L\epsilon >|\nu |$ and ${\rho }^2>0$,Its logarithm divided by $L$ tends to $-\infty$. If ${\rho }^2=0$, this probability is eventually zero. The transfer result for exponential equivalence says that coupled families whose distance exceeds each fixed positive tolerance with superexponentially small probability share a large deviation principle with the same good rate function. Apply it to $(C+S_L)/L$ and $S_L/L$. This also covers ${\sigma }^2=0$, with the point-mass rate function from part (b).

Use the large-deviation speed $a_N=N^{1+\epsilon }$ from part (a). For every $\eta >0$, the Chernoff bound for a normal distribution gives, for all sufficiently large $N$,Consequentlybecause the exponent has order $N^{1+2\epsilon }$, exceeding $a_N$ by a factor $N^{\epsilon }$. Thus $(A+B_N)/a_N$ and $A/a_N$ satisfy exponential equivalence. This conclusion does not require independence between $A$ and $B_N$, since their difference is exactly $B_N/a_N$.

The exponential equivalence theorem transfers the large deviation principle and its good rate function, givingLarge positive excursions are cheapest through the single exponential random variable; a negative excursion would require the Gaussian random variable sum to move on its faster scale. If $\sigma =0$, the deterministic shift $N\mu /a_N\to 0$ gives the same conclusion directly.

Put $\kappa =2(1-H)>0$. For the Gaussian process $Z$, self-similarity of a stochastic process gives the identity in distributionApply the given small-noise large deviation principle with $L=N^{\kappa }$. The answer isNo Legendre-Fenchel transform needs to be recomputed: the scaled paths have exactly the small-noise law at this scale.

If the stated small-noise large deviation principle is indexed only by integer $L$, use $L_N=\lfloor N^{\kappa }\rfloor$. This gives speed $N^{\kappa }$ as well, since $L_N/N^{\kappa }\to 1$. The multiplying factor $\sqrt{L_N/N^{\kappa }}\to 1$ does not change the large deviation principle. To justify this last step, the error in the path norm is $o(1)\Vert Z/\sqrt{L_N}\Vert$. For each fixed $M$, good rate functions have bounded sublevel sets, so ${\inf }_{\Vert f\Vert \ge M}I(f)\to \infty$ as $M\to \infty$. The closed-set upper bound then makes the probability of an error greater than any fixed $\eta >0$ superexponentially small. Thus exponential equivalence applies. This also justifies positive real, rather than only integer, rescalings used in part (c).