Record the discount level at the start of each policy year as the state. A no claims discount system is a Discrete-time Markov chain when, conditional on this state, the next year's claim behavior and update rule do not depend on earlier history. Independent annual accident and loss mechanisms with a fixed state-based reporting rule give this property; one should not equate the probability of an accident with the probability of a submitted claim.
The density identifies as a standard normal random variable: substitute and . Therefore, for ,
Here is the numerical repair cost. The character preceding in the PDF is a currency symbol, not a separate multiplier.
Order states as . With the stipulated common annual probability of no submitted claims, the transition matrix is
A claim resets any state to zero, while a no-claim year raises the discount one level or keeps the top level fixed. If claim probabilities depend on the state, the corresponding row instead uses ; the same transition mechanism applies. The supplied single is a simplifying model assumption.
For a policyholder currently at zero discount, the current premium has the same value under either decision and cancels in the comparison. If the repair is self-funded and no later accidents occur, the next two premiums are and , giving a total cost including the current premium. If a claim is made, the next two premiums are and , giving total cost , with the repair paid by the insurer. Thus the two-year no-claims threshold with reset to zero is
At equality the holder is indifferent; it has probability zero under the continuous density. This assumes full reimbursement and no excess or deductible, as in the stated model.
Put . The conditional expected claim is . Completing the square in the normal integral gives the truncated lognormal moment
Dividing by the reporting probability gives the expected size of a submitted claim for the full-premium holder:
All monetary amounts must use the same unit despite the PDF's mixed currency notation. The other two current levels both have next-two-year no-claim premiums , versus after a claim, so their thresholds are . Consequently incorporating this behavioral decision into claim probabilities generally produces state-specific , rather than deriving a common from the severity density alone; no accident-frequency law is provided.
With the natural filtration , the sums form a martingale. Put . Independence and the characteristic function of a standard normal random variable give
If almost surely with a finite limit, dominated convergence gives convergence of these characteristic functions to . If , that limit would be at zero and at every nonzero . A characteristic function is continuous at zero: apply dominated convergence to as . This contradiction proves
This is also sufficient by the L2-bounded martingale convergence theorem, since . Thus the almost sure convergence criterion for an independent Gaussian series is an equivalence.
A standard Brownian motion is a real stochastic process with almost surely, continuous sample paths almost surely, and independent increments such that has normal distribution whenever . With its completed, right-continuous natural filtration , its Strong Markov property is the following: for every almost-surely finite stopping time , the process
is a standard Brownian motion independent of . Here the stopping-time sigma-algebra is
In particular, for every bounded -measurable random variable and bounded Borel functional on the continuous path space,
Thus the independence is from the entire stopped past, not only from , and is a statement about the whole future path, not just a single increment.
To prove the Brownian reflection principle without assuming that a level is hit in finite time, fix , , and set and . Continuity of the sample paths makes a stopping time and gives whenever . The stopping time is bounded. Reflect the path after :
By the Strong Markov property, the future increments after are an independent Brownian motion. Negating them preserves their probability distribution, by symmetry of their joint normal distributions. Hence the reflected process has the same path law as .
If , reflection changes nothing on and . If , both paths first hit at the same time and . Therefore, for , the following events agree path by path:
Indeed, the right-hand endpoint is at least , so the reflected path must have hit before or at ; this also forces the original path to have done so. The reflection relation then makes the endpoint inequality equivalent to . Equality cases at satisfy the same relation. Since and have the same probability distribution,
For , both sides are zero, because and .
For , set in this identity. Continuity implies , and the normal distribution of has no atom at . Splitting according to whether gives
Both random variables are nonnegative. Their tails agree for all , which determines their probability distributions, including the mass at zero. Thus the Brownian running maximum satisfies
For and , continuity again gives . Since is a standard normal random variable, the distribution function of the Brownian first-passage time is
It tends to one as and to zero as , proving almost-sure finiteness and absence of an atom at zero. For the standard normal random variable ,
The value of this ratio on the zero-probability event may be defined arbitrarily. Matching the distribution functions proves
Finally, differentiate the distribution function on , using and . The first-passage-time density is
and is zero for . Its integral is one by the endpoint limits of , so no missing mass at an infinite hitting time is present.
Iterating the recurrence yields
Thus every finite collection of the is a linear transformation of independent standard normal random variables, and has a multivariate Gaussian distribution. The expected values are zero. Independence of the gives
For , the recurrence writes plus a sum of future innovations independent of . Hence . The required vector law is
The covariance matrix is positive definite: the lower-triangular transformation from has nonzero diagonal entries . This also identifies a stationary autoregressive process of order one, with marginal density .
With the standard normal density as the kernel for density estimation, the two characteristic functions are and . The Gaussian random variable has mean zero and variance , so
This expression is real. Substitution in the given integrated covariance expression, followed by the Gaussian integral for , gives
To bound the total Gaussian autoregressive kernel variance correction, apply the mean value theorem to . For , the whole interval between and is bounded below by . Therefore
Summing the geometric series gives the uniform bound
It follows from the supplied variance identity that
The constant depends on the fixed , but not on or . In particular this applies to the requested shrinking-bandwidth regime; the covariance bound itself does not need .
All observations have the same marginal density , so dependence changes the variance but not the bias of a kernel density estimator: . Write and . For a smooth density with , the integrated variance of a kernel density estimator in the independent case is . A second-order Taylor expansion of the convolution gives in the L2 norm. Thus the bias-variance decomposition of mean squared error gives
The first two terms are the asymptotic mean integrated squared error. The additional dependence term is smaller than , so the leading optimal bandwidth and optimal rate are the same as for independent data:
Here both and are the standard normal density. Since , direct Gaussian integrals give
Consequently the explicit leading bandwidth is
At this bandwidth the leading integrated variance is four times the leading integrated squared bias, which is also a check on the minimization constant.
Write , , and let be independent standard normal random variables obtained by centering and scaling the separate stage means. Then
The second statistic uses all patients, so the statistics are correlated even though the stages' new observations are independent. Their covariance is and each variance is one. This gives the exact bivariate normal distribution
Under the null hypothesis both means are zero. At replace by ; the mean vector is . In this group sequential design the full-sample statistic may be viewed as a potential statistic from the underlying sequence of outcomes, even on paths where recruitment stops.
Let and denote the first- and second-stage sample means, let , and write . Continuation is the selection event . The second-stage sample mean stays independent of , so . The first-stage sample mean has a truncated normal distribution. With and the upper-tail Inverse Mills ratio ,
The positive conditional selection bias after futility continuation comes from selecting unusually large first-stage outcomes. The unconditional sample mean of a fixed observations would be unbiased; that is a different sampling distribution from the one restricted to continued trials.
As , , and , so the estimator bias tends to zero. It decreases with : differentiating gives , because for a standard normal random variable. Thus
Independence of the centered standard normal random variables gives for every . Also
For nonadjacent indices, the underlying sets of variables are disjoint, so the errors are independent and have zero covariance. For adjacent indices with ,
The first adjacent pair separately gives . Hence
These adjacent products of independent Gaussian variables are uncorrelated random variables even though adjacent errors share a factor and are dependent.
Write ; the requested expression requires the positive even integer . Split the thin singular value decomposition after columns:
Here . Each column of a Gaussian random matrix is an orthogonally invariant random vector: its probability density function is proportional to , and an orthogonal matrix preserves both and volume. Thus , where , again has independent and identically distributed standard normal entries. In particular both displayed blocks have the Gaussian distributions needed below.
First prove a deterministic error bound for a randomized range finder. Put and suppose has full row rank. Its Moore-Penrose pseudoinverse is , so . The QR decomposition implies , hence
Multiplication by expresses the missed leading columns in terms of the trailing columns. Substitution into gives the exact identity
For any matrix , the spectral norm of is , because its product with its transpose is . Using submultiplicativity of the operator norm, the orthonormality of , and the contraction property of the orthogonal projection, we obtain
This estimate is deterministic and also covers rank-deficient ; if , its right-hand side vanishes.
Now use the paper's permitted singular value estimates. Apply the lower estimate to the tall matrix of size , rather than to its wide transpose. It gives
The upper estimate for , transposing if necessary, gives
Thus, with ,
Since , the deterministic estimate yields
This proves the requested conclusion under the explicitly authorized estimates.
The probabilistic qualification is necessary. A Gaussian random matrix does not always have all its singular values between the two endpoints printed in the hint. Already a example would require for every standard normal random variable , which fails with positive probability. The proof above holds on the event where the two block estimates hold. In a probabilistic formulation one supplies estimates for that event, usually allowing a positive margin in both endpoints; no failure probability is specified by the paper.
Nor can the requested inequality with one universal hold almost surely for every . For example, take , , with , and a sampling matrix
At , the sampled column space misses the first coordinate, so , whereas . Choose . Because has full column rank, its orthogonal projection depends continuously on near through . The strict violation persists in an open neighborhood of . The joint Gaussian probability density function is positive there, so that neighborhood has positive probability. This identifies the missing qualification without weakening the conditional calculation.
Separate a long future count from the early Poisson arrival time. Let be the natural filtration, and define
The truncated Poisson arrival time in is -measurable. The independent increments property makes independent of , and hence of .
The numerator of is a centered Poisson random variable of parameter . Apply the central limit theorem to the unit-time increments, then use and Slutsky's theorem. This proves . Also, Markov's inequality and give
Thus equals outside an event of vanishing probability, so part (i) and Slutsky's theorem give . Exact independence of random variables for each now gives the joint limit with independent standard normal random variables.
Finally, and , so Chebyshev's inequality gives in probability. The first coordinate in the question is . The second differs from only on , and so its difference tends to zero in probability. The vector version of Slutsky's theorem proves the required joint convergence in distribution. The boundary of has zero limiting probability, since both marginal distributions have continuous cumulative distribution functions. The Portmanteau theorem therefore yields
This is by independence of random variables.
Use the inner product for a standard normal random variable . The degree-zero monic polynomial is . Write and . The conditions
use and . Hence these first three Probabilists' Hermite polynomials are
The Gaussian fourth moment is , so their squared norms are
Evaluate the orthogonal polynomial projection kernel on its diagonal:
The terms cancel. Integrating against Lebesgue measure gives for a standard normal random variable , checking the correlation function of a point process normalization.
Under the null hypothesis, the full model has two free positive statistical parameters and the constrained model has one. The Wilks theorem therefore gives
as both sample sizes tend to infinity, with tending to a number strictly between zero and one. For the observed , calculate
The large-sample p-value is the upper-tail probability
where is the cumulative distribution function of the standard normal distribution. The last equality uses the fact that the square of a standard normal random variable has a chi-squared distribution with one statistical degree of freedom. Values of on either side of are already included by the transformation to .
Standard normal distribution Created 2026-09-24 Updated 2026-10-14
The standard normal distribution is : the normal distribution with mean zero, variance one and standard deviation one. Its standard normal density integrates to one; its standard normal distribution function records the area accumulated from to a threshold. The distinction matters: , , and for a standard normal random variable .
For a toy measurement , leave the measurement unit unspecified. The standardization of a normal random variable converts into standard scores . Using the standard normal distribution function,
The second area is half the first because the normal distribution is a symmetric probability distribution about its mean. The numerical heights differ: , yet the corresponding shaded areas are equal because in the change of variables.
Figure 1.
Standardization changes density heights and coordinates but preserves probabilities
. The same toy normal distribution is shown before and after standardization of a normal random variable. The blue and orange areas together have probability approximately ; the orange area alone has probability approximately . The threshold becomes standard score . Each probability density function has total area one over the whole real line; a single outcome has zero probability. Details.
Standard normal distribution function Created 2026-09-24 Updated 2026-10-14
The standard normal distribution function is the cumulative distribution function of a standard normal random variable :
Here is the standard normal density and is the error function. The symmetric probability distribution gives and , while differentiation gives . For with , standardization of a normal random variable gives ; subtracting two values calculates an interval probability.
Standard normal random variable Created 2026-10-06 Updated 2026-10-14
Suppose , , are independent and identically distributed with normal distribution , where the mean and standard deviation are unknown. Define the sample mean and sample variance by
Under these assumptions,
Substitution gives the exact ratio
The unknown cancels. The denominator estimates the standard error of the sample mean; its sampling variability is precisely why the Student's t-distribution has wider tails than the standard normal distribution.
The crucial independence has a geometric explanation. Apply an orthogonal transformation to the standardized observations , choosing its first coordinate along . That coordinate is ; the remaining coordinates are independent standard normal random variables whose squared sum is . Their joint probability density factorizes because the transformation preserves the squared length. This also explains the loss of one statistical degree of freedom when estimating the mean. Uncorrelatedness alone would not establish the required independence for arbitrary data.
The result is exact for every under the stated normal distribution model. A small sample size by itself does not justify it: a sample from an arbitrary probability distribution need not have the displayed chi-squared distribution or the necessary independence.
Student's t-distribution Created 2026-09-29 Updated 2026-10-20
The Student's t-distribution describes a standard normal random variable divided by an independent estimate of its scale. For any real , let have the standard normal distribution and let have the chi-squared distribution, with and independent. Then
The parameter is called the number of statistical degrees of freedom. It need not be an integer: the chi-squared distribution is a gamma distribution with shape and rate . The independence assumption is essential; specifying only the two marginal distributions does not determine the probability distribution of their ratio.
Its probability density function on the whole real line is
where is the gamma function. Every member is a symmetric distribution about zero. At it is the Standard Cauchy distribution; as it approaches the standard normal distribution. The essential shape change is the tail: at any fixed finite , decays like a constant times , much more slowly than the standard normal density's exponential decay. Thus it is a heavy-tailed distribution. [ref]
The left panel shows the centers; the right panel uses a logarithmic scale to reveal the tails that a linear plot hides. All four curves have location zero and scale one. They do not have the same variance: the curve has no finite mean or variance, whereas has variance 3 and has variance .
More generally, the absolute moment for is finite exactly when , as follows by comparing the tail integrand with . Consequently
For there is no finite mean; symmetry alone cannot supply one. For the mean exists but the variance is infinite. For even the centered definition of variance is unavailable because the mean does not exist.
A shifted and scaled version , , has probability density function . The scale is not its standard deviation: for ,
For example, and scale give standard deviation , rather than 2. The distinction matters when using a Student's t-distribution to model data with occasional extreme values, as well as when interpreting a Student t confidence interval.