Let , and write for the standard normal distribution density. For importance sampling, choose the proposal density , namely the uniform distribution on the target interval. Its importance sampling weight is
For iid uniform draws ,
is an unbiased estimator of the target mean, since its expectation integrates . If one chooses not to evaluate , the self-normalized importance sampling alternative has statistical consistency, but generally is not an unbiased estimator.
Alternatively, draw independent random variables with the standard normal distribution, let and , and use
Conditionally on , the retained draws are iid from the truncated normal distribution, so their average is an unbiased estimator with variance , where is its variance. If the ratio is undefined; one can continue drawing until a prescribed number of retained observations is obtained.
Here importance sampling uses every draw inside the interval, whereas only of the normal proposals are retained. The advantage can also be quantified. Integration using gives
For uniform importance sampling,
For the retained-draw ratio with a fixed total proposal budget, its asymptotic variance coefficient is . Thus this importance choice has substantially smaller error for the same proposal count; it also avoids wasting about two thirds of the standard normal distribution draws. This comparison is specific to this well-matched importance sampling proposal; arbitrary proposal choices do not share this guarantee.
Use the spectral theorem for real symmetric matrices to write , with orthogonal and , . Set and generate
Then . The characteristic function is
which identifies the multivariate normal distribution . Equivalently, every linear combination is normal, with the required mean and variance. A Cholesky decomposition can be used for a positive-definite matrix. The spectral construction also works for singular , producing a degenerate Gaussian distribution on an affine subspace; in that case there need not be a density on all of .
Use as the variance parameter, with prior density relative to . Let and . Multiplying the prior by the likelihood function gives the unnormalized Bayesian posterior
The printed request for an “improper posterior” should not be read as a claim that this posterior is always improper. Although the prior is improper, integrating over gives a marginal kernel , which is integrable exactly when and . Under these usual nondegenerate-data conditions it is a proper posterior. If those conditions fail, the displayed kernel is improper and there is no posterior probability distribution for a sampler to target.
Completing the square and using the inverse-gamma distribution give the full conditionals
The inverse-gamma distribution convention is density proportional to . Equivalently the precision satisfies
using shape and rate, as in the question.
A Gibbs sampler starts from and alternates
This is the normal mean-variance posterior with a log-uniform variance prior. For a marginal check, : integrating out reduces the shape by . This marginal shape is different from the full-conditional shape .
The support condition for importance sampling is missing from the printed assertion. Assume , , and for -almost every . For a proposal , rejection has conditional probability . Its unconditional probability is , so the conditional density of a rejected draw is
Thus the rejected-draw weight is precisely , and
Conditionally on any positive rejection count among independent proposals, the rejected locations have this iid conditional density. Hence
is an unbiased estimator conditionally on , and therefore also conditionally on the event . This is importance sampling from the rejected-proposal distribution.
The nonstrict assumption alone does not suffice: the rejected distribution may completely miss part of the target support. For example, let be uniform on , , , and . All rejected proposals lie in , where , so the displayed estimator is always , whereas . This remains a counterexample after conditioning on . A strict envelope, such as choosing larger than the essential supremum of , repairs the missing support condition. Near-equality can still give high-variance weights, even when it remains an unbiased estimator.
The printed identity needs an expectation on its right-hand side. For fixed , condition on and use independence of :
The expression inside this expectation is generally random and cannot equal the unconditional probability by itself.
For each independent Monte Carlo method replicate, draw from its given distribution. If , draw independent -variables, form and set . For the empty sum is . If may equal zero, use when , since . The law of total expectation gives
Since , the estimator has statistical consistency by the strong law of large numbers. It is the conditional Monte Carlo estimator obtained by Rao-Blackwellization of the direct indicator , and the law of total variance gives .
This version assumes that the cumulative distribution function can be evaluated. An easy sampler alone does not automatically supply an easy cumulative distribution function evaluation. If only sampling is available, use the direct indicator estimator, or replace each conditional cumulative distribution function by the average of several independent indicators ; the nested version remains an unbiased estimator. With such inner draws its variance per outer replicate is .
Use the ergodic theorem for a positive Harris recurrent Markov chain: for an invariant distribution and an integrable function , the time average converges almost surely to under the usual ergodicity conditions. This is the relevant theorem for correlated Metropolis–Hastings algorithm output, rather than the strong law of large numbers. Here is integrable. Indeed, putting
we have , which bounds the unnormalized density by a constant times an integrable Gaussian density and also gives finite first moments.
For a proposal scale , initialize anywhere in . At each step draw independent random variables with the standard normal distribution and an independent uniform , propose , and accept when
Otherwise set . The normal proposal is symmetric, so its density cancels; the target normalizing constant also cancels. Include every state in the average, including repeated states after rejection. The ergodic theorem for a positive Harris recurrent Markov chain then gives
A fixed discarded initial segment does not change this limit.
Small proposal variance gives high acceptance but tiny moves and strong serial dependence. Large variance gives more ambitious moves, but many proposals enter very low-density regions and are rejected, creating long runs at one state. An intermediate scale should be assessed by exploration and effective sample size of a Markov chain, not acceptance rate alone.
This density has two modes, at and their interchange. To see this, stationary points satisfy , implying either or . The unequal solutions have and are local minima of ; the equal solution is a saddle. Mode switching is therefore a material part of proposal-scale selection: a chain confined to one mode can have high acceptance and a misleading finite-run estimate.
Figure 1.
Two modes of the quartic target density, with the diagonal saddle between them, explaining slow mode switching in random-walk Metropolis-Hastings
.
Write and , restricting to meshes small enough that . This discontinuous indicator function does not satisfy the hypothesis of part (b). Instead apply part (a) with and handle its two boundary cells directly.
Let on each observation cell . Away from cells containing the two ends of , almost everywhere. Even if an endpoint is itself an observation time, at most two cells contribute, and their total length is at most . Thus the quadrature error obeys
The fluctuation has variance at most . Its zero expected value gives
using .
Figure 1.
Only the two endpoint cells contribute to the window quadrature error
.
The remaining bias is the difference between an interval average and the spot variance. By the Hölder continuity of ,
Retaining the centered fluctuation and bounding yields
For , both and equal . Therefore and satisfy both requested bounds:
The constants are independent of the observation partition, , and . The exponent follows from a bias-variance tradeoff for a shrinking window.
For real , . Expand the complex covariance of the sample averages. Terms indexed by distinct observations vanish because the observations are independent; each diagonal term equals . Hence
Taking and using gives the exact variance:
The upper bound follows from , and holds without any moment assumptions on .
Use the Radon-Nikodym derivative at and the discounted bond price martingale from part (b):
For the variance, put and , for . The ratio has, by the Itô formula,
Under the T-forward measure , , so its drift becomes . Since ,
The first two terms are deterministic; the Itô isometry supplies the variance of the last. The two requested answers are
In fact the terminal zero-coupon bond price has a log-normal distribution under this forward measure, with the deterministic negative half-variance correction ensuring the displayed mean.
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.
Put . The random phase screen produces
Interpret the normality assumption as a jointly Gaussian process, not merely Gaussian one-point marginal distributions. Write its normalized autocorrelation as . The difference is a zero-mean Gaussian random variable with variance . Its characteristic function therefore gives the Gaussian phase-screen correlation
Without joint Gaussianity the autocorrelation alone does not determine this expectation.
For an acoustic pressure amplitude , with background mass density , the time-averaged acoustic energy flux is
An acoustic potential convention changes the dimensional prefactor. The physical field includes the carrier : a transverse Fourier transform mode has axial wavenumber in the parabolic wave equation. Thus its spectral acoustic flux is proportional to , or to at leading paraxial order. Differentiating the reduced field alone would omit the carrier contribution.
The infinite stationary illumination has a spectral measure of a stationary random field, rather than a finite ordinary value of at each . To specify the normalization, truncate the screen to an aperture of length , propagate this truncated initial field, and set
The propagation multiplier has modulus one. Using the Gaussian phase-screen correlation and the overlap of the two aperture intervals gives
Multiplication by gives the ensemble-averaged pressure-normalized modal acoustic energy flux for this finite-aperture convention.
The infinite-aperture spectral normalization consistent with the specified Fourier transform is
The integral and limit are understood as spectral measures of a stationary random field when necessary. By Parseval's identity, this is power per unit transverse length: . The ensemble-averaged axial spectral acoustic flux is independent of :
Here the notation includes Dirac delta distributions in the spectral measure of a stationary random field; the leading-order total flux is . The correction is meaningful within , the range of the paraxial approximation.
If and is integrable, the stationary phase-screen power spectrum separates into coherent and diffuse wave fields:
The coherent fraction is and the diffuse fraction is . If additionally , the stationary phase-screen power spectrum is with the same Fourier transform convention. Small alone does not imply small accumulated phase .
The binomial theorem makes the sum of the proposed probability mass function equal to ; every term is nonnegative. Realize the associated binomial distribution as , where the are independent variables with the Bernoulli distribution of parameter . Each has expected value and variance . Linearity of expectation and variance additivity for independent random variables yield
At or this is a constant random variable; the same formulas apply, with the endpoint mass understood by continuity.
For the constant monomial , the binomial theorem gives . For , the binomial coefficient identity gives
Thus , including by evaluation of the polynomials.
For and , substitute the preceding coefficient identity into the Bernstein polynomial sum and write . This yields the Bernstein monomial recurrence
The coefficients are nonnegative and sum to ; and the others tend to zero. The weights in any Bernstein polynomial sum are nonnegative and sum to , so . Induction on therefore gives : the term has that limit and the other finitely many terms vanish. In fact, the same estimate in the supremum norm proves uniform convergence on .
As an independent quantitative bound, take a binomial distribution variable with parameters . Then . On , factoring the difference of powers gives ; the Cauchy-Schwarz inequality and the variance of give
For the error is exactly zero. Finally the requested sum equals , so
For a target , the bias of an integrable estimator is ; it is an unbiased estimator if this is zero at every allowed parameter value. Here has a zero-truncated Poisson distribution, , and . Write an estimator based only on as , assuming a finite expectation for every . Unbiasedness requires
Absolute integrability at every positive parameter ensures that the power series on the left converges absolutely on every complex disc. Uniqueness of coefficients in a power series therefore gives for odd and for positive even . Conversely these values give the displayed identity, so
is the unique unbiased estimator of this form. The uniqueness claim concerns nonrandomized functions of ; allowing external randomness would permit addition of independent mean-zero noise.
For this parity estimator for a zero-truncated Poisson count, usefulness depends on the loss, but under squared-error loss it performs poorly despite being an unbiased estimator. Since , and
It takes the inadmissible value with positive probability, and its variance tends to one rather than zero as . Clipping to the parameter interval gives . This has bias , but
Thus a simple biased estimator strictly improves its mean squared error at every parameter value; uniqueness among unbiased estimators does not make it optimal for this loss.
Since , the indicator is an unbiased estimator of . The joint probability mass function is
The Fisher-Neyman factorization theorem therefore makes a sufficient statistic. More explicitly, conditioning on gives a multinomial distribution with trials and cell probabilities , so has the binomial distribution . Consequently conditioning by the Rao-Blackwell theorem gives
For , interpret the value at as and at as ; thus the same expression uses in this probability convention. For all observations and are zero almost surely. For and , the reduction in variance is strict: given , the event still has a nondegenerate conditional probability. Directly, using the probability generating function of , the new variance is .