Assume the draws are independent from , that the target-weighted integrand is covered by its support, and that . Define the importance weight . The change-of-density identity is
Therefore importance sampling uses the unbiased estimator
The strong law of large numbers gives consistency. A finite second moment of the weighted integrand additionally gives finite variance and a usual independent-sample central limit theorem. A useful proposal places enough probability where is large and avoids tiny proposal probability density function there; common support alone does not guarantee finite variance.
A real weakly stationary process has finite second moments, a time-independent mean , and autocovariance function depending only on the lag. Use the angular-frequency convention
The time-series spectral density is nonnegative and integrates to . The displayed Fourier series is ordinarily justified by . More generally, weak stationarity gives a spectral measure of a stationary time series, not necessarily a spectral density. If a spectral density exists without this summability, its Fourier inversion can be understood using Fejér sums, which converge in and at its Lebesgue points. Thus spectral density existence should not be inferred from weak stationarity alone.
A white noise process has mean zero and . Neither independence nor a normal distribution is needed for this second-order definition. Its autocovariance function is zero at nonzero lags, so
For a real absolutely summable filter , the series defining has mean-square convergence: its tails have norm at most . Its mean is , and
The sum is absolutely convergent, since by the Cauchy-Schwarz inequality. It depends only on , proving that the output is a weakly stationary process. Substitute the spectral integral for and interchange the sums and integral, justified by and . This gives
Because the coefficients are real, the two factors are complex conjugates. Hence the spectral density transformation under a linear filter is
For complex coefficients the same formula holds with the conjugate-covariance convention.
Applying this result to the order-two moving-average model yields
Equivalently, its nonzero autocovariances are , and , together with .
For the order-one moving-average process, invert its filter by a geometric series. The required coefficients are
They are absolutely summable for . Direct cancellation gives
with mean-square convergence. Thus the inverse filter recovers exactly the original white noise process, including its variance; it is an invertible time-series representation.
For independent draws from a normalized proposal , use the importance sampling identity
Thus the unbiased estimator and its variance are
The probability support condition is wherever , and the variance formula requires a finite second moment. Since both probability densities are normalized, no self-normalization of weights is needed.
In the proposed example, normalize to on . It is sampled by for uniform . Taking gives
As a check, . The second moment of one weighted observation is
so . The weight's singularity at zero does not make this variance infinite.
To prove the optimal proposal rule, apply the Cauchy-Schwarz inequality:
Equality holds when the two factors are proportional almost everywhere, giving the minimum-variance importance distribution
For the present nonnegative integrand, normalization gives
Under this proposal, is constant, so the variance is exactly zero. If sampling is wanted, its distribution function is , with inverse . In general the optimal proposal's normalizing constant can itself be the unknown integral, limiting this zero-variance construction's practical use.
For minimizing an energy , simulated annealing at temperature uses the Boltzmann distribution . At each temperature run a Metropolis–Hastings algorithm or Gibbs transition preserving that law, then reduce . With a symmetric proposal, accept with probability : downhill moves are accepted and uphill moves remain possible. Keep the best state encountered. As temperature decreases, equilibrium mass favors global minima, provided the target is proper and the relevant concentration hypotheses hold. An arbitrary finite cooling run does not by itself prove global convergence.
Let , and . For the Poisson distribution model the observations must be nonnegative integers. Its log-likelihood is
For , differentiation gives and . If , the likelihood is decreasing and the maximizer is the boundary value zero. For the normal distribution model write , giving
For each , this is maximized at , and differentiating there gives . Hence
The normal variance estimate has denominator , not . A finite positive normal maximum requires ; if all observations coincide, the likelihood is unbounded as . The normal annealing calculation below assumes .
To maximize likelihood, choose the energy , so the annealing law is , not . This sign is important in the Poisson request: literally inserting a positive log-likelihood into a minimizing Boltzmann law would give a nonnormalizable probability density function growing like at infinity. We use likelihood-power annealing with the maximizing sign.
For the normal distribution model, take base measure . The joint annealing probability density function is
Completing the square gives the Gibbs sampling conditional for . Matching the conditional probability density function to the supplied inverse-gamma distribution convention gives
Integrating out contributes a factor , so the marginal law is
Thus this joint Boltzmann law is proper for . Its variance marginal and the normal conditional both concentrate at the stated estimates as . For example, for its marginal mean and variance are
Also .
There is a direct convergence proof for the actual changing-temperature Gibbs algorithm, beyond convergence of its equilibrium probability densities. Start at a finite deterministic , choose deterministic with , draw conditional on , then draw conditional on using the two boxed distributions. Conditional normal moments give
The inverse-gamma distribution first and second moments consequently yield
and
In the first recursion the coefficient of the preceding mean is at most ; in the second the coefficient of the preceding second moment is at most . The means therefore stay bounded, and then so do the second moments. Letting in these formulas gives and . Together with , this proves
This Gaussian likelihood Gibbs annealing convergence uses the explicit conditional structure and does not assume that one Gibbs sampling sweep is an exact equilibrium draw.
For the Poisson distribution model, the likelihood-power law with respect to has the normalized probability density function
so
The mean tends to and the variance to zero, proving convergence to a point mass at the Poisson maximum-likelihood estimate, including the zero-boundary case.
The Akaike information criterion is , counting one parameter for Poisson and two for normal. With and , the two forms are
and
Choose the smaller criterion. Likelihood constants that differ between models, including the factorial and terms, cannot be discarded.
For a fully specified trans-dimensional annealing for penalized likelihood, let or and define
Use the combined target, relative to counting measure on models and Lebesgue measure on their parameters,
where are fixed reference weights. For and both model components are integrable. The factor is a convenient temperature convention keeping the within-model laws exactly those already derived. The extra factor makes the zero-temperature objective AIC rather than unpenalized likelihood.
Use, for example, probability for a model-change attempt in either model and probability for a within-model update. Within the Poisson distribution model draw a fresh gamma value from its boxed law; within the normal distribution model perform the boxed Gibbs sampling sweep. For a Poisson-to-normal proposal, draw with a fixed , and set
The inverse normal-to-Poisson proposal is with reverse auxiliary . This dimension matching uses one auxiliary variable to augment the one-dimensional Poisson parameter space. The absolute Jacobian determinant is
If the forward model-jump selection probability is and the reverse probability is , the reversible-jump Markov chain Monte Carlo acceptance ratio is
Accept with probability . For the reverse move compute and use
For the suggested equal selection probabilities, and those factors cancel. The probability density function must still be included, despite symmetry of its normal distribution: it is an auxiliary draw in only the forward dimension-increasing proposal. Pairing a move with its inverse makes the accepted forward and reverse probability flows equal after the change of variables, proving detailed balance for each fixed-temperature model-switch kernel.
Cool through proper temperatures, allow enough model and parameter exploration at each stage, and retain the smallest observed . The minima of the two energies are exactly the two AIC values above. Low-temperature equilibrium mass concentrates on the better criterion and its fitted parameters; if they tie, the minimizing set contains both models. Unlike the direct normal Gibbs argument, this multimodel exploration claim needs an appropriate cooling/mixing justification and is not guaranteed by an arbitrary short run.
Finally, an exact statistical comparison must put both likelihoods on the same observable and reference-measure convention. A Poisson distribution model is a probability mass function on counts, whereas the displayed normal distribution model is a continuous probability density function. The formulas above are the question's formal Gaussian working-likelihood comparison. A coherent exact normal approximation for count observations can instead use probabilities of rounding intervals; that changes its likelihood and generally loses the simple analytic normal estimates. This distinction matters when interpreting the numerical AIC difference, while leaving the dimension-matching and annealing construction applicable to properly specified likelihoods.
Interpret the barred velocities as second moments of a steady nonstreaming collisionless stellar system, and write . In an isotropic model the three component dispersions agree, so the Spherical Jeans equation becomes
Put , so . If this density supplies all of the Newtonian gravity and there is no central point mass, finite enclosed mass requires and
Integrate to an outer radius at which the pressure is . The exact Jeans-moment solution within the power-law region is
and, for ,
For and , the integral is dominated by outer radii. Therefore
The coefficient cannot be determined from the local density cusp alone. Extending the power law to infinity gives a divergent pressure integral when , so an outer scale or boundary condition is essential. For the usual shallow cusp , the central velocity dispersion tends to zero even though the density diverges.
For , inner radii dominate as ; equivalently one can send with vanishing boundary pressure to obtain
Thus the central velocity dispersion decreases for , is constant at , and diverges for . At the omitted threshold , . For the assumed central density law has infinite enclosed mass, so the same unmodified model cannot determine a finite velocity dispersion. These boundary and domain restrictions are the boundary dependence of an isotropic self-gravitating cusp; specifying density without them does not specify a physical finite galaxy.
Let and use the velocity-anisotropy parameter , with . Here the tangential variance is per component; a definition using the sum of both tangential variances instead has an extra factor of two. The original PDF has this correct per-component ratio, which the TeX corrupts.
At a point along the line of sight, . The radial direction makes an angle with the sightline satisfying . Spherical symmetry eliminates mixed moments, and projection gives
Using both sides of the galaxy and ,
For this formula use as the projected density of the same tracer represented by . If is a mass density and an observed surface brightness, a constant mass-to-light ratio rescales by that factor; otherwise replace by the luminosity density throughout the tracer equation. The gravitating remains the total mass, not necessarily the tracer's mass.
The Spherical Jeans equation is . Eliminate from the projected integrand:
Rearranging proves
No constancy of was needed. Convergence of the projected moments and the steady spherical assumptions are required. This is the integral form of the projected spherical Jeans residual.
Although has disappeared explicitly, the unknown radial pressure still carries the orbital information. Thus the identity does not remove the mass--anisotropy--density degeneracy: projected brightness and one projected second moment do not uniquely determine both and the radial/tangential partition. A central rise in velocity dispersion can reflect a compact central mass, radial orbital bias, or a changing mass-to-light ratio; flattening and departures from equilibrium add further ambiguities.
For example, within a point-mass-dominated region with tracer and constant , direct solution gives . For the projected velocity dispersion of a Keplerian cusp is
The beta function factors come from setting in the integrals along the line of sight. Different allowed generally change the mass needed to fit the same normalization; is a special cancellation, not the general case. Resolving the central black-hole sphere of influence and constraining orbital structure with higher velocity moments or additional kinematic directions strengthens a compact-mass inference. Brightness and velocity dispersion profiles alone do not establish a unique central black-hole mass, still less an event horizon.
Unmodified Hebbian learning reinforces correlated input and output but has no mechanism limiting synaptic strength. The second rule adds activity-dependent negative feedback and stabilizes the norm at an input-scale-independent value, provided the input keeps exciting the output. The third has a cubic weight penalty independent of the instantaneous output; its equilibrium norm instead depends on the strength of the input second moment.
For the third averaged rule, an equilibrium along eigenvector has radial linearized eigenvalue and transverse eigenvalues . Thus a positive simple largest eigenvalue gives stable equilibria in its two opposite directions, whereas lower eigen-directions are unstable to larger components. With generic initial weights, it learns the dominant correlation direction, linking the rule to principal component analysis. These are idealized normalization and feature-extraction mechanisms, not claims that biological synapses implement these exact equations.
Write . The kernel density estimator with bandwidth is
Sufficient conditions are that be a nonnegative symmetric probability density function with and finite nonzero second moment , and that , . Symmetry and the second-moment assumption give . The expectation is a convolution:
Taylor's theorem with integral remainder gives
The zeroth-order term integrates to , and the first-order term vanishes. The second derivative is bounded and continuous, so dominated convergence, with dominating function proportional to , yields
Combining this with the supplied leading variance gives the asymptotic mean squared error
When and , its derivative is . It changes sign exactly once, giving the pointwise optimal kernel bandwidth
Positivity of is needed for this positive interior optimum. The printed condition alone does not ensure it. For instance, is a normalized bounded probability density function with bounded continuous square-integrable second derivative, but and . At this point the displayed leading variance vanishes and the two-term AMSE has no positive interior minimizer; finer variance terms are needed to determine an appropriate bandwidth. The formal formula there gives zero, which does not satisfy the bandwidth assumptions.
For integrated error, the same expansion holds in : translation continuity of applied to the integral remainder gives
Indeed Minkowski's integral inequality bounds the norm of the difference, divided by , by the integral of ; each translated difference tends to zero and is bounded by . This proves the claimed integrated bias expansion without assuming a uniform pointwise remainder over the whole real line.
If , direct integration of the variance gives
The last term is because is bounded and integrable, hence square integrable, and convolution with a probability density function does not increase its norm. It is negligible compared with . Thus the asymptotic mean integrated squared error and its minimizer are
Here : otherwise the continuous second derivative vanishes everywhere, making affine, impossible for a probability density function on the whole real line.
Now take the standard normal density . Differentiation gives . Gaussian integration gives
The kernel constants cancel from the bandwidth ratio. At ,
Put . The logarithmic derivative of is . On the function increases, giving its minimum at , with value one. On it decreases up to and then increases, giving its minimum . Thus the global minimizers are , and the normal-density local-to-global bandwidth ratio is
The ratio diverges at the two inflection points , where the second-order pointwise bias approximation vanishes and needs a higher-order replacement.
Figure 1.
Normal-density pointwise bandwidth relative to the integrated-error optimum; minima at plus and minus square root of five
. Details.
For a prior and loss , the Bayes risk of a rule is . A Bayes decision rule minimizes this integrated risk. An Extended Bayes rule is a rule whose excess over the optimal Bayes risk can be made arbitrarily small by a suitable proper prior: for every some has , with finite risks.
Condition on the observation and use iterated expectation. A rule is Bayes precisely when it chooses a minimizer of the posterior expected loss almost surely, up to the usual measurability requirement. Under squared Euclidean loss, with a finite posterior second moment, write . The identity
shows that the Bayes rule is the posterior mean.
The pair-birth rate here is the constant immigration rate , while deaths occur at total rate . This interpretation is fixed by the requested mean formula. With and for , the master equation is
The Markov jump-process generator acts as . Taking gives , hence
For the second moment , the two jumps give . Differentiating therefore yields . Substitution of the mean and solution of this scalar linear equation give
Thus , assuming and finite initial second moment. This is pair immigration with linear deaths; births at rate would be a different model and would not give the printed mean.
Use the positive-support convention for the geometric distribution and put . Differentiating the convergent geometric series gives
Consequently
Subtracting the square of the expectation from the second moment yields
For the die, this is the coupon collector problem. When scores are still missing, let count rolls up to and including the next newly observed score. Every fresh roll has success probability , so has a geometric distribution of parameter . These six successive waiting times are independent: conditional on the entire past at the start of a stage, its waiting-time distribution depends only on the number , not on the identities of the missing scores. Iterated conditioning therefore factors their joint distribution. The total number of rolls is .
Using linearity of expectation gives
Using variance additivity for independent random variables, or the coupon collector waiting-time variance formula just derived by this decomposition, gives
Hence the requested standard deviation is
The hint rounds the sum of squares from to ; using that rounded value gives , consistent at the precision of the hint. The exact computation preserves the slightly more precise value above.
Let be one score. It has the discrete uniform distribution on , so its expected value and second moment are
Therefore
For independent throws, linearity of expectation and additivity of variance give and . The sample average consequently has expectation and variance .
The Chebyshev inequality follows by applying the Markov inequality to the nonnegative square of a centered random variable. It gives
This is at most if . Thus suffices, as does every larger integer. This is the smallest integer guaranteed by this particular Chebyshev inequality bound; it need not be the smallest integer satisfying the actual probability requirement.
Use the fixed common entry law from the printed setup: has mean zero and second moment for each upper-triangular entry, including the diagonal. Let
Since , the removed part after centered truncation of a Wigner matrix is
Consequently . Symmetry gives . There are diagonal terms and off-diagonal terms in this sum, so
Mirrored entries are counted twice, as they must be; independence of those mirrored entries is neither true nor needed for this expectation calculation.
By the preceding bound and the Markov inequality,
The dominated convergence theorem applies to , so . Choose with . Then
This second moment bound for spectral truncation depends only on and the common law of , and is uniform over functions with Lipschitz bound . No fourth-moment hypothesis is required. If the scaled entry law were allowed to vary arbitrarily with , a uniform choice would instead require uniform decay of its second-moment tails; the intended fixed-law setting supplies exactly that condition.
Set . The compound Poisson distribution variance identity and the per-claim excess of loss reinsurance payouts give
Apply differentiation under the integral sign. The endpoint terms in the first two terms cancel, while the last integrand is zero at its lower endpoint. Equivalently, differentiate the two payout squares inside their expected values; the finite second moment supplies a dominating integrable function. This gives the total variance stationary condition for excess of loss
Hence the specified equality makes . When , its interpretation is , where the mean residual life is .
For the exponential distribution of mean , and
Thus is negative below and positive above it. The variance-minimizing exponential retention is the unique global minimizer
For an explicit value, put . The capped claim moments and the excess-claim second moment give
The sign argument establishes global minimality, rather than just stationarity.
For a single claim , quota share reinsurance with retained fraction makes the direct insurer pay and the reinsurer pay . Under excess of loss reinsurance with retention , the direct insurer pays and the reinsurer pays the positive part . Thus the concise payout pairs are
The cap in excess of loss reinsurance applies separately to every claim; it is not a cap on the entire annual aggregate.
For the following variance calculations take and , so the displayed variances are finite. For any per-claim payout , the law of total variance in a compound Poisson distribution gives
The final term is the raw second moment, not the single-claim variance. Both parties' totals are retained compound Poisson aggregates, with different payout functions of the same claims; they are generally dependent.
For the probability generating function , differentiation gives
The second derivative is a factorial moment, not the raw second moment.
In the Galton-Watson process, condition on . The next generation is a sum of independent offspring counts, and so its conditional generating function is . Averaging over gives
The conditional mean is and the conditional variance is . Thus iterated expectation gives from one ancestor, and the law of total variance gives , . Iterating yields the branching-process generation moments
For the critical case , the correct limiting value is . If , nonnegative offspring are zero almost surely, so every later generation has zero mean and variance; handle this directly rather than use an ambiguous zero power. At generation zero the mean is one and variance zero.
The branching-process extinction criterion states that extinction probability is the smallest fixed point of in : probabilities of extinction by successive generations are the iterates of from zero, increasing to that fixed point. Here the equation is , factoring as . The two admissible roots are and one, so
Expand around the expectation :
Thus variance as the minimum mean squared error of a constant gives
The finite second moment also guarantees the finite first absolute moment needed below.
For a probability density function , splitting at gives
Let be the cumulative distribution function. Since a density gives no mass at a singleton, differentiating under this integral yields . This derivative is nondecreasing, so is convex and
This is the median minimizes expected absolute loss property. The minimizer need not be unique: a gap in the density can give an interval of medians, all with the same loss.
Nonnegativity and unit mass give, by the triangle inequality for the Fourier transform, . The finite second moment implies a finite first absolute moment, so differentiating under the Fourier integral is justified and
The exponent convention has no , so no such factor occurs in this derivative.
A weakly stationary process has finite second moments, a constant expected value , and covariance depending only on the time difference:
A strictly stationary process, also called strongly stationary, has every finite-dimensional probability distribution invariant under a common shift: for every finite choice of times and every shift , and have the same law. strict stationarity with finite second moments implies weak stationarity. weak stationarity alone does not determine the full joint law, and strict stationarity alone does not guarantee finite moments.
The useful autoregressive model is for the squares, not for signed observations. Put and
Then
The errors form a martingale difference sequence relative to the noise history, because the current standardized noise is independent of the past. When the fourth moment is finite they have finite variance and are uncorrelated across distinct times, although their conditional variance depends on the regressor. In centered form, .
For ordinary least squares, use the response-regressor pairs , , . With their separate means and , minimize . If the regressor sum of squares is positive, the estimators are
The two means use the matched pairs; replacing them indiscriminately by a single full-sample mean is not the exact least-squares formula. The noise-series representation supplies an ergodic stationary process. If , finite regressor second moments and the error's zero conditional expectation justify the usual population regression and statistical consistency argument. The observations still define a finite-sample least-squares fit outside that moment range, but the ordinary finite-variance justification must not be claimed there. If parameter constraints are required, minimize the same criterion subject to and , rather than assert that unconstrained estimates automatically satisfy them.