The moment-generating function of a mixture distribution is the mixture of its component transforms, so
For the aggregate, positivity of every claim implies exactly when . Choose
If , take to have the zero-truncated claim-count distribution, namely the conditional law of given . Then
Choose this count independently of a fresh independent claim-size sequence and put . Its probability distribution is that of conditional on being positive. Thus the hurdle decomposition of a positive random sum gives
and an independent Bernoulli random variable of success probability realizes . This establishes the distributional representation, including that is itself a positive random sum of independent claims. If , the aggregate is identically zero; set and choose any positive , for example one claim. Conditioning the count on positivity is then unnecessary and would be undefined.
For the specified geometric distribution on the nonnegative integers,
An exponential distribution of expected value has transform . Substitution yields
Hence is exponential with rate and expected value . This is the geometric sum of exponential variables with a rescaling of the claim mean. Identification can also use the uniqueness theorem for Laplace transforms of nonnegative random variables by taking .
The resulting distribution function is
Its jump of size at zero is important: the aggregate law is not a purely continuous exponential distribution.
Consider the secant slope
The moment-generating function is continuous on the interior of its finite domain and has right derivative . Thus as . For every fixed positive claim amount , the function is strictly increasing in : its derivative has numerator , since this numerator starts at zero and has derivative as a function of . Taking expected values preserves the strict inequality. Therefore is continuous and strictly increasing. Equivalently, the strictly convex transform has strictly increasing secant slopes from the origin.
If , the assumed blow-up of gives . If , choose with . Such an exists because the claims are positive. Then , so again . This exponential lower bound is needed at an infinite endpoint: mere divergence of would not, by itself, establish divergence of .
The target strictly exceeds the limiting slope . The intermediate value theorem and strict monotonicity therefore give
Multiplying by gives the defining adjustment coefficient equation. The zero root of the undivided equation is excluded. This is the secant-slope existence criterion for an adjustment coefficient.
For the original exponential distribution, cancel the nonzero root in
to obtain
It lies strictly below the transform pole .
With the extra expenses, the insurer's payment per claim is , where has exponential distribution of expected value and is independent of . The convolution of independent random variables gives a hypoexponential distribution with
Keeping the relative safety loading fixed means using the new expected payment: the premium rate becomes . It does not mean keeping the old premium rate fixed. The adjustment coefficient with independent claim expenses therefore solves
Set , cancel , and simplify:
The quadratic is positive at and equals at . Its leading coefficient is positive, so the smaller root is in and the larger root exceeds . Only the smaller root lies in the finite moment-generating function domain. Hence
For ,
Thus the new adjustment coefficient is about smaller, even though the premium rate has been increased to retain the same relative safety loading. The Lundberg inequality consequently has a slower exponential decay rate as a function of capital.
First derive the survival renewal equation for a classical risk model. Before the first claim, capital rises deterministically. The first interarrival time has exponential distribution of rate , independently of the claim size. Conditioning on its time and size, and using the Markov property after that claim, gives
A claim larger than the capital available then causes immediate ruin and contributes zero. There is almost surely a first claim because .
Put . Changing variables yields
Since , this representation makes locally absolutely continuous, and differentiation gives, at least almost everywhere,
Integrate from to . The integrands are nonnegative, so Tonelli theorem permits interchange in the double integral. In particular
Subtracting this from , changing variables once more, and using the permitted boundary value gives
The constant is the zero-capital survival probability. Positive relative safety loading means , so it is positive. The convolution kernel is a multiple of the integrated tail distribution density and has total mass , making this a defective renewal equation.
For the individual portfolios define . Under the positive-loading convention of the question, . At zero capital, portfolio survives with probability . The independence of random variables of the entire portfolio processes makes their ultimate survival events independent. Consequently
The exponential form is not needed for this zero-capital probability under positive loading; only the claim mean enters. For completeness, the company description does not separately repeat positive loading for every portfolio. If nonpositive loadings are allowed, certain ruin with nonpositive loading and finite claim variance instead gives
Here the positive part sets a nonpositive factor to zero. To justify the additional case, observe capital at claim times: its independent increments are , with mean . A negative mean sends their partial sums to by the strong law of large numbers. At zero mean, these increments have finite nonzero variance. The central limit theorem gives for each fixed , so the probability of unboundedness below is at least . That event is unchanged by altering finitely many increments and hence is a tail event; the Kolmogorov zero-one law makes its probability one. Ruin therefore occurs almost surely also at zero loading.
For the merged claims, Poisson superposition of insurance portfolios gives total arrival rate . Each arrival is from portfolio with probability , independently of other arrival labels. Thus its claim-size mixture distribution has density
The weights sum to one, so this density integrates to one. An independent transform verification uses the aggregate for one accounting period. If , then its moment-generating function is
This is precisely a compound Poisson distribution with parameter and the displayed claim-size law. The transform identity can safely be read at ; positive arguments must be below the relevant poles.
Premium incomes and initial capitals add. Therefore the merged premium rate is , the merged initial capital is zero, and its mean claim size is
Its zero-capital survival probability is consequently
Under the question's positive-loading context this is a premium-weighted average of the individual survival probabilities, rather than their product. If arbitrary individual loadings are admitted, recompute the loading of the merged portfolio; its finite-variance mixture law gives the complete formula
An individually nonpositive loading does not force merged ruin when aggregate premiums still exceed aggregate expected claims. The survival probability under risk pooling is at least their product because a product of numbers in is at most each factor. Pooling allows one portfolio's surplus to cover another's deficit, so merged survival does not require every original portfolio to remain solvent separately.
The proposed probability density function is nonnegative. To check its integral, put . The Gaussian integral can be evaluated by squaring and using polar coordinates:
Since , and . Thus has the standard normal distribution. Completing the square in its moment-generating function gives, for every real ,
Differentiation under the integral is justified near every finite by Gaussian decay. Expanding gives all moments:
To obtain the two-term bounds for Mills ratio, use . Integration by parts gives, for ,
The positive remainder proves . A second integration by parts gives
Substitution and division by the strictly positive show
The last integral is strictly positive for every finite , proving . Both remainders are finite for every fixed positive ; the lower bound remains valid even when it is negative.
Conditioning on the intensity in the Poisson mixture gives
Thus has the negative binomial distribution with two successes and success probability , counting failures; explicitly for . The probability generating function is finite for real .
The claim-size moment-generating function is . Substituting into the aggregate moment-generating function and using gives
Put , the moment-generating function of an exponential distribution with rate . The identity
then yields
The gamma-mixed Poisson aggregate with exponential claims has three nonnegative mixture weights summing to one. By uniqueness of the moment-generating function near zero, the aggregate distribution is
Here is the Dirac measure at zero. In particular , consistently with . The positive components have respective expected values and ; their mixture distribution accounts for the possibility of no aggregate payout.
Write and . For the random sum of independent claims, conditioning on gives
The law of total expectation and the law of total variance therefore give the aggregate moments
The first term in the variance measures variation of the individual claims at a fixed count; the second measures variation of the count itself. These formulas require the indicated moments to be finite.
For the moment-generating function, independent random variables give
where is the probability generating function. This identity holds wherever the expectations are finite; in particular a moment-generating function need not exist for positive for an arbitrary positive claim distribution. The empty sum for is zero.
In the Gaussian white noise model, observe the entire path
where is standard Brownian motion and the deterministic drift belongs to L2 space on . Equivalently, . For every deterministic , the observed stochastic integral satisfies
The noise is an isonormal Gaussian process. In particular its variance is . Gaussian white noise is interpreted through these integrals, rather than as an ordinary random function with a pointwise value at every time. No smoothness of is needed.
Here is the Gaussian maximum bound without independence. Put . It is integrable since it is bounded by . For every ,
The second inequality uses only the moment-generating function of the standard normal distribution, so independence is unnecessary. Jensen inequality gives , hence
Minimizing at proves
For the dyadic partition, let , , putting the endpoint into the final interval. The Haar scaling functions
form an orthonormal basis of the space of functions constant on each interval. The Haar wavelets can be written as
For , the constant function together with , , is another orthonormal basis of . Indeed, each successive level splits a cell's two constants into their sum and difference; the number of basis elements is . Thus the Haar projection is the orthogonal projection
On cell its value is . The first formula also applies to .
Estimate each coefficient by its observed stochastic integral:
This is the Haar projection estimator in Gaussian white noise. The noise integrals over disjoint intervals form a Gaussian vector with zero off-diagonal covariance. The principle that uncorrelated jointly Gaussian variables are independent then makes these coefficients independent. Therefore
Taking expectations shows that is an unbiased estimator of , both coefficientwise and pointwise for the stated step-function representatives.
Only one scaling function is nonzero in each cell, so the supremum norm of the error has the exact form
The endpoint convention ensures the same identity at . Apply the Gaussian maximum bound without independence with to obtain the supremum norm risk of a Haar projection estimator:
The factor comes from cellwise scaling, while the extra square root of comes from taking the maximum over Gaussian errors.
Use an -qubit state as the witness. Uniformly choose a term and perform the two-outcome positive operator-valued measure . Regard the second outcome as an energy flag. For witness , its probability is
This is an efficient local-energy measurement verification: a unitary operator on the relevant qubits and one ancilla qubit can implement the measurement using the isometry
The local dimension is constant; the term matrices and the measurement can be approximated to inverse-polynomial accuracy. Uniform choice of and the classical threshold comparison also have polynomial overhead.
Set
In the nontrivial case , is inverse-polynomial. Cases outside this energy range are decided directly from .
Ask for witness registers, measure an independently sampled local term on each, and accept if the mean number of energy flags is at most . An honest product ground state on a YES instance has flag probability at most . The Hoeffding inequality gives failure at most . For completeness, the required Bernoulli concentration estimate follows by bounding the centered log moment-generating function : and is a tilted Bernoulli variance, at most . Hence ; exponential Markov's inequality optimized at yields , and the lower-tail version follows in the same way.
Soundness must also cover entangled witness registers. The averaged flag effect is . All its eigenvalues are at least on a NO instance. The repeated verifier's acceptance effect is a polynomial in the commuting tensor-factor operators and . In their product eigenbasis its eigenvalues are lower-tail probabilities of independent Bernoulli variables whose parameters are each at least . Their lower tail is bounded by the identical-parameter tail at , using the same uniform-variable coupling as in QMA parallel repetition with entangled witnesses. Therefore its operator norm is at most , which bounds acceptance for any entangled witness.
Choosing
gives completeness at least and soundness at most . A slightly larger constant absorbs implementation errors; for example, approximate each flag effect in norm to at most , retain a gap at least , and increase by a constant factor. The total witness length and circuit size are polynomial. Thus
Here and . The asset payoff has a centered Laplace distribution. Its moment-generating function is for , and diverges otherwise. Expected constant absolute risk aversion utility for a holding is
To maximize it, minimize the logarithm of the positive factor on . Its derivative is , and its second derivative is strictly positive. It diverges at the endpoints, so the unique critical point is the global optimizer:
At use the continuous limit . The other quadratic root is outside the finite-utility domain.
Let . Aggregate demand is . Unit positive supply requires and . Squaring and excluding gives
This negative price satisfies the unsquared equation and every individual finite-utility constraint. When , there is no finite clearing price. Indeed for every finite negative , with limit as . If this maximum limiting demand is below supply; if equal, demand only approaches one at an infinitely negative price. A formal positive solution obtained by squaring when violates the original demand equation.
The moment-generating function of a random variable is , at the real values of for which that expectation is finite. For a standard normal distribution variable , combining the exponentials in its probability density function yields
The last equality follows by scaling the Gaussian integral. The variables are independent random variables, so the expectation of their product factorizes. Therefore
This is the moment-generating function of a chi-squared distribution with degrees of freedom. For positive the defining integral diverges at and above .
For the simple symmetric random walk, independence and the Rademacher distribution give the moment-generating function
The function is even; for its derivative is , since the derivative of is at most one and . Here and are the hyperbolic cosine and hyperbolic tangent. Hence the exponential-moment estimate is
The supplied exponential maximal bound for a symmetric random walk now gives . For , choose ; for , use the elementary bound by one. Thus
Fix , choose , and set . For large these form an increasing sequence. Apply the preceding exponential maximal bound for a symmetric random walk at with threshold . The resulting probability is at most
We have and . Choose strictly between and ; the displayed probabilities are . By the Borel-Cantelli first lemma, almost surely, eventually . For every , monotonicity of for large therefore gives
Intersect the probability-one events for to obtain the upper law of the iterated logarithm:
The Hoeffding lemma for a Bernoulli distribution variable gives . Multiplication of the moment-generating functions of the independent random variables gives . Thus the centered count is a sub-Gaussian random variable with variance proxy . The Chernoff bound, optimized at , gives
The same estimate holds for the lower tail by applying the Chernoff bound to . No independence between different bin counts is needed.
An effective bandwidth measures how much capacity a random traffic source requires when unusually large demands matter. A mean-rate description loses burstiness; a peak-rate description can waste capacity when peaks are rare. The parameter in an effective bandwidth controls the emphasis placed on such bursts through the moment-generating function:
Here is the traffic in a chosen time unit. If instead measures traffic over length , the corresponding rate is . With independent stationary increments, this is independent of whenever the moment-generating function exists. More generally both the time scale and dependence structure matter.
The Chernoff bound follows directly from the Markov inequality, since is nonnegative and implies :
Optimize over the admissible positive values of to obtain
For independent sources , moment-generating functions multiply and their effective bandwidths add. Thus a total capacity has the one-time overflow bound . In particular, for independent and identically distributed random variables,
This is the positive-parameter part of the Legendre transform of a cumulant-generating function. The size of its exponent describes how a service margin reduces the chance of a large aggregate demand. A buffer-overflow event involves traffic over many intervals; a one-time Chernoff bound alone is not automatically a bound on that event. A time-dependent model and, for example, bounds on the union of relevant interval events are then needed.
Assume a finite moment-generating function in a neighborhood of zero. Differentiating the cumulant-generating function gives , and . Therefore the small-parameter limit is the mean traffic rate:
The variance term shows how an effective bandwidth charges extra capacity for burstiness. Also is a convex function with , so is nondecreasing for in its domain.
For the other limit, let , the essential supremum. If , almost surely gives . For every , , and
Taking a lower limit and then proves the large-parameter limit is peak traffic:
If has no finite upper bound and all positive exponential moments exist, the same lower bound for arbitrarily large makes the limit infinite. If positive exponential moments cease to exist at a finite parameter, the effective bandwidth is infinite beyond that domain, and the infinite limit is understood in this extended sense. For example, a normal distribution with mean and variance has : its unbounded upper tail has no finite peak. Thus effective bandwidth interpolates between mean and peak demand while permitting independent sources to be aggregated by addition.