Let be the rate of each individual flow on route , so its aggregate rate is . The feasible allocations satisfy . An allocation has proportional fairness if, for every feasible ,
Equivalently it maximizes over positive active-route rates. This is the first-order optimality condition for a concave objective on a convex set. Rates for absent flows can be set to zero.
For the linear flow network, put and . If , unused capacity on link could increase , so
When , write . For active local routes their aggregate rates are , and the objective, up to constants independent of , is
For , differentiation gives , hence ; when the maximizing endpoint is , giving the same answer. Thus the proportionally fair allocation on a linear flow network is
If and , this gives on every active local route, as expected. No departure occurs at the empty state.
Independent Poisson processes of flow arrivals and independent exponential distributions of document sizes make the count vector a continuous-time Markov chain. By the memoryless property, a surviving residual size with exponential distribution still has rate per unit of transferred data, so each route- flow completes at instantaneous rate . The transition intensities are
Hence the through-route departure rate is and each active local route's rate is .
To obtain the stationary law of a linear flow network, define
For a through departure ; for an active local departure . These are exactly the aggregate service rates, so the detailed balance identities hold. This also shows why the binomial coefficient is essential; a factor would not have the required ratios.
For fixed local counts with total , the negative binomial series gives
Sum the remaining independent geometric series to find
The given load conditions make every series converge. Setting proves
The chain has bounded total departure rate, finite arrival rate and no explosion. With positive arrival rates it is irreducible, and this normalized invariant law gives the positive recurrent Markov chain property; zero arrival rates restrict the stationary support to the corresponding reachable class.
Summing out shows local-count independence in a linear flow network: the local counts have independent geometric distributions on with ratios . Therefore
They are independent of one another under the stationary marginal, despite sharing the random through-flow population. The through count is generally dependent on them.
Let denote a ridge's peak sea-ice draft, reserving for the draft at a randomly sampled position. In the exponential ridge-draft model, normalization by the line density gives
The mean peak sea-ice draft is
Consequently
with , having dimensions inverse length and inverse length squared. The normalized peak probability density function is a shifted exponential distribution.
For the triangular argument, interpret the common ridge shape as geometrically similar triangles with common along-track slope and variable peak height. Literal congruence would require identical sizes and could not coexist with an exponential peak-draft distribution. Each side of a triangle has . A ridge reaching draft therefore contributes of horizontal track in the interval . Summing this occupation length over all qualifying peaks proves the triangular ridge occupation identity:
Thus
This is a tail relation for sampled draft occupation, not an instruction to normalize and identically. Below , the ideal triangles contribute rather than the same exponential; level ice and gaps contribute their own draft distributions. If triangular keels are referenced to a level-ice base, the vertical coordinate must be shifted consistently. We also require nonoverlapping occupation: arbitrary choices of , mean draft and slope can otherwise demand more than the available track length.
Observed mean keel slopes are typically of order –, with broad individual variation rather than a single universal angle. Orientation matters: if a track crosses a straight ridge at angle to the crest, . The track slope can therefore approach zero at a grazing crossing. A sonar morphology study found location-dependent mean slopes about – after correcting for ridge orientation.
Young sea-ice pressure ridges often have recognizably triangular sections with angular, porous rubble and comparatively continuous crests. Melting, refreezing and repeated cracking modify older ridges: their blocks can become rounded and consolidated, and their keel or crest can fragment into separated hummocks rather than retain one triangular shape. A pre-exam multibeam study found first-year sea ice ridge slopes averaging roughly , while multi-year sea ice ridges often consisted of irregular separated smooth blocks. Multi-year sections can be broader or locally shallower, but age alone does not determine one slope angle. The constant-slope triangle is a useful statistical idealization, not a faithful shape for every old ridge.
The independent, spatially homogeneous random-placement idealization gives a Poisson process of intersections along the sampling line. With line intensity , an interval of length contains no ridge with probability . The spacing thus has exponential distribution
Random orientation changes the intersection intensity, which has already been represented by the measured . Merely saying that positions are random does not prove a Poisson process: independence and homogeneity are additional assumptions. Finite segments, clustering or excluded widths can invalidate them.
For a shifted lognormal distribution, write with . Applying the change of variables formula, , gives
The threshold is a minimum observable separation. Finite keel widths impose geometric exclusion, and the sonar's footprint and ridge-identification criterion can suppress a shallow peak near a deeper peak. This sonar ridge shadowing or resolution effect means that need not be a universal physical distance between every pair of ridges; it can partly reflect how the profiles were processed.
A lognormal distribution is compatible with products of many positive factors: taking logarithms turns multiplicative changes into sums, which can approach a normal distribution. Repeated deformation, breakup, convergence and merging across scales are plausible contributors. The observed form therefore suggests correlated or multistage ridging rather than the simplest independent-intersection model. It does not identify a unique ridging mechanism. For example, directly generating with a normal distribution for produces the same spacing law without specifying any particular mechanics. Distributional agreement must be supplemented by dynamical and spatial evidence.
An exponential distribution of rate has density for and zero for , with survival probability . For , its memoryless property follows from
For the minimum, independence gives . Hence
The density is zero for negative . The comparison probability follows from identical continuous laws and zero tie probability; directly it is . These are competing exponential clocks.
For the last density, substitute into the normalizing integral to obtain , the Gaussian integral. Equivalently, each variable has a gamma distribution with shape and rate one. Independence permits convolution of the densities. For ,
Putting turns the integral into . Consequently
This is also the additivity of independent gamma distributions with a common rate: their shapes add to one. Density values at the single endpoint zero are immaterial.
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.
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.
For a proper continuous event time, the survival function is . The assumed invertibility of the cumulative hazard function gives, for ,
Therefore
This is the cumulative hazard probability transformation; it applies also conditionally on a subject's covariates, using that subject's correctly specified cumulative hazard function.
The fitted transformed times are Cox–Snell residuals. They retain their event/right censoring indicators, so a right-censored residual represents an exponential observation known only to exceed its displayed value. Under the fitted model and independent right censoring, calculate the Kaplan–Meier estimator of residual survival and compare it with , or calculate the residual Nelson–Aalen estimator and compare its cumulative hazard with the diagonal . Systematic departures reveal model inadequacy; sparse extreme residual risk sets and parameter estimation require caution. Treating all censored residuals as observed event times would invalidate this diagnostic.
Without right censoring, the residual mean should be approximately one. With right censoring, use the modified Cox–Snell residual
For a true unit-rate exponential distribution, the memoryless property gives . Thus an event keeps its known transformed time, while a censored observation is replaced by the conditional expected event time. Under independent right censoring, iterated expectation makes the mean of these adjusted values one when the true hazards are used, and approximately one when fitted hazards are used. These mean-imputed values do not themselves have an exponential distribution, so the survival-curve diagnostic should still use the original censored residual dataset. Moreover fitting equations can force the adjusted sample mean to one, making its mean alone a weak diagnostic.
For the proposed mixture of a finite right censoring time and no right censoring, and
Consequently
When right censoring has positive probability this choice is unique; if , no correction is needed and any has the same effect. Its independence from is the content of exponential memorylessness: the expected extra lifetime after any right censoring time is one. Conditioning on an arbitrary independent right censoring time proves the same correction beyond this special two-point mixture.
For the gamma variance function, the Pearson dispersion estimator is
using residual degrees of freedom. Under a specified null dispersion , the scaled statistic based on squared Pearson residuals has an approximate distribution under the usual residual approximation.
Thus test1 corresponds to , equivalently gamma shape , the exponential distribution. test2 corresponds to , equivalently shape . The null hypotheses concern dispersion or shape, not whether the regression coefficients vanish.
The code computes lower-tail probabilities. Used as one-sided tests, the alternatives are and , respectively, equivalently shapes larger than one and three. At the 5% level the first null is rejected because the lower-tail probability is , while the second is not rejected because its probability is . If the intended alternatives are two-sided, , these displayed numbers must not be called two-sided p-values: doubling the smaller tail gives approximately and , with the same decisions. The chi-squared distribution approximation is not an exact finite-sample gamma identity.
For independent and identically distributed random variables sampled from a probability density function , a kernel density estimator with kernel for density estimation and smoothing bandwidth is
The usual kernel for density estimation is nonnegative; finite makes the integrated variance finite. The mean integrated squared error and its bias-variance decomposition of mean squared error are
The interchange is justified by the Tonelli theorem.
For the exponential distribution and the specified unit-width uniform kernel, put . The expected value is . Intersecting this interval with the positive half-line gives
On the true probability density function vanishes, whereas
Here for . This leakage across the support boundary proves the integrated squared bias from a density jump:
In particular, and suffice. The phenomenon differs from a smooth interior bias of a kernel density estimator: the order-one boundary error persists over a region of width proportional to .
By independence, . Integrating the first term and using yields
Also : the kernel density estimator mean is an average of translates of , so the Jensen inequality followed by the Tonelli theorem bounds its squared integral.
To optimize over every , we must establish that useful smoothing bandwidths approach zero, rather than optimize only a formal small- expression. An exact calculation supplies that justification. The autocorrelation integral of the exponential distribution density is
Averaging over the two uniform windows, or integrating the piecewise expression for , gives
These formulas show that is continuous on , is strictly positive there because on , and tends to as . Consequently, is bounded away from zero on for every . Its expansion agrees with the supplied .
The choice gives
Choose smoothing bandwidths within of the infimum. Their mean integrated squared error tends to zero, and nonnegativity of the integrated variance gives , hence . For any , eventually
The last step is the arithmetic-geometric mean inequality. Taking the lower limit and then matches the upper bound. Thus
The original PDF has this constant; the TeX aid's is a transcription error.
For , the monotonicity of the logarithm and the uniform distribution give
For the cumulative distribution function is zero. Differentiation gives the probability density function for , and zero elsewhere. The distribution is , with rate . This is inverse transform sampling of an exponential distribution.
Construct a rate- Poisson process, for , from independent waiting times with exponential distribution . Put , , and . The strong law of large numbers gives , so there are only finitely many arrivals on each finite interval. Consequently the counting paths are càdlàg, and almost surely.
At any deterministic time , the memorylessness of the exponential distribution says that the residual waiting time has again exponential distribution and is independent of the observed history. Subsequent waiting times are fresh independent copies. Thus the Poisson process restarts independently at , proving independent increments and stationary increments. Integrating the joint waiting-time densities over gives
so its time values have the expected Poisson distribution.
For ,
Together with stationary increments, this gives stochastic continuity at every time, from either side where applicable. All the Lévy process requirements hold, and
For , the identically zero process gives the degenerate case.
Continuity of the cumulative distribution function gives the probability integral transform: is uniform on . Hence is also uniform, and the cumulative hazard probability transformation gives
Thus
The exponential distribution has rate and mean one here. This proof does not require a strictly increasing cumulative hazard: intervals with zero density carry no probability mass. It assumes a proper continuous finite survival time, without an atom at infinity.
For the exponential distribution with expected value ,
The Poisson distribution has both expected value and variance equal to . Substitution into the random sum of independent claims formulas gives the portfolio A moments
To distinguish the random intensity from its possible values, write it as . Its law is a gamma distribution with shape and rate . Hence
For the Poisson mixture, conditional expectation and conditional variance both equal . The law of total expectation and the law of total variance yield
where . Applying the random sum of independent claims formulas with the exponential distribution of the claim sizes gives the portfolio B moments
At the matched intensity , the expected value for portfolio A is also , whereas its variance is . Thus the expected totals agree, but mixing increases the variance:
The extra term is precisely .
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.