A Gibbs sampler updates one coordinate by drawing from its full conditional distribution, leaving the others unchanged and using their current values. Each coordinate kernel preserves the target joint law : integrate first over the unchanged coordinates, then over the old coordinate, and finally draw the new coordinate from the same conditional distribution. The resulting joint law is again . In the discrete notation, if two states share the remaining coordinates,
which is symmetric in . Thus a coordinate update satisfies detailed balance. A systematic full sweep has kernel and remains invariant because each factor preserves . A fixed-probability random-scan mixture also preserves ; the mixture is reversible, whereas a systematic composition need not be.
In the autologistic binary-image model, count each neighboring pair once. Changing one pixel from zero to one raises by one and by the number of neighboring ones. The ratio of its two conditional weights is . Therefore
For single-site Gibbs sampling, select a pixel, compute its current neighbor sum and replace it by a draw from a Bernoulli distribution with this probability. One may use random scans or complete ordered sweeps. The normalizing constant is not needed. For finite , every conditional probability lies strictly between zero and one; the finite chain is irreducible and has self-transitions, so its stationary law is unique and iterating converges to it.
For checkerboard Gibbs sampling, no edge joins two black pixels or two white pixels. Conditional on the whites, the black-pixel law factorizes:
Draw all black pixels independently with these probabilities, then draw all white pixels independently conditional on the newly drawn blacks. Each color block is a full conditional update, so the two-block sweep preserves the joint target. Pixels of the same color can be updated together because their conditional distribution factorizes.
For the noisy image, the log likelihood contributes . Since , dropping terms independent of gives
The Gaussian-noise posterior for an autologistic image therefore has conditional probabilities
Use this probability in both single-pixel and sequential color-block schemes. The independent observation factors change only the local field, so conditional independence within each color is retained. The same invariance proof then targets the posterior distribution rather than the prior.
The expected check loss is finite because . It is also Lipschitz in its location argument, with constant at most one. For any fixed , the continuous distribution function makes . The derivative of with respect to , away from that null event, is . Difference quotients are bounded by one, so the dominated convergence theorem gives
The continuous, strictly increasing distribution function has limits zero and one. Its derivative expression changes sign exactly once, from negative to positive, and hence
Equivalently the difference between the expected losses at and is , positive whenever . This proves population quantiles minimize check loss directly.
For the regression argument, define the population risk and its empirical version . Boundedness of and integrability of the error give integrability of and of all these losses. Conditional on , the conditional distribution of the error has unique -quantile zero. Applying the preceding calculation conditionally shows that its expected loss is uniquely minimized when the fitted displacement equals zero. Thus
with strict inequality whenever that displacement is nonzero on an event of positive probability. The stated identifiability assumption therefore makes the unique population minimizer. This is conditional quantile identification.
The Lipschitz property of the check loss gives
Continuity of and its uniform bound, followed by dominated convergence, show that is continuous on .
For the intended estimator constrained to , here is the entire argmin consistency under uniform convergence in probability argument, rather than an invocation of an M-estimator theorem. For a fixed , let . If this set is empty, there is nothing to prove. Otherwise it is compact, and continuity and uniqueness give a strictly positive gap
Let . If minimizes , then
Consequently
The constrained estimator is consistent. Existence of a constrained minimum follows from continuity of the sample criterion and compactness. The argument applies to any measurable choice of minimizer.
There is an actual domain defect in the printed definition: its minimization is over all of , whereas the assumed uniform convergence in probability is only on . That literal unconstrained consistency claim is false. The preceding conclusion needs minimization over , or another assumption that confines the selected minimizers to a set where the convergence and separation arguments apply. No change of question heading is needed to make this qualification explicit.
Here is a counterexample satisfying even identifiability over the whole line. Take a constant covariate, independent standard normal errors, , , , and
This is bounded and continuous, has range , and vanishes only at zero. The conditional error distribution function is continuous and strictly increasing with median zero. The compact-set uniform law of large numbers also holds: the loss is , Lipschitz in , so a finite grid in reduces its uniform difference to finitely many integrable sample averages plus an arbitrarily small grid error. The weak law of large numbers then gives the asserted convergence.
Let be a sample median, and put . Absolute loss over the range is minimized at . Choose the following global empirical minimizer:
Solving the quadratic in shows , so this really minimizes the criterion over the whole line. For odd , symmetry and continuity give . Moreover in probability: for each fixed positive , the proportion of observations below converges to a number greater than one half, and the analogous proportion below converges to a number less than one half. Therefore
along odd . The selected unconstrained estimator is not consistent. This illustrates why a global argmin may escape a compact convergence set.
Work conditionally on a positive-probability atom of . Let have the conditional distribution of there, and let be an independent copy of that conditional law. The finite sample space makes all expectations finite. Then
Strict increase of makes the integrand nonnegative, and strictly positive whenever . The conditional variance is positive by part (c), so the conditional distribution is nondegenerate and . Thus the numerator of the hedge ratio is strictly positive on every such atom. The denominator is also positive, giving
This is strict positive covariance with an increasing payoff. The independent copy is taken from the conditional distribution, not from an unrelated unconditional distribution.
Multiple imputation by chained equations specifies one conditional distribution for each incomplete variable. In general, let be the incomplete variables, the fully observed predictors, and the parameters of a model . The notation means all variables except . The models should respect each variable's support and contain the terms needed by the planned analysis.
First choose suitable models and initialise only the missing entries with admissible provisional values. One sweep updates in turn. At update , fit its model to records whose is observed, using the latest filled-in predictors. Draw
The first draw represents parameter uncertainty through a Bayesian posterior; the second represents residual uncertainty through a posterior predictive distribution. Replace the missing entries with these draws, leaving every genuinely observed entry fixed. Repeat whole sweeps until the chain has settled, assessing traces, mixing and plausibility. Obtain completed datasets from independently initialised chains, or sufficiently separated draws after convergence. Both parameter and missing-value uncertainty must be propagated; repeated deterministic prediction is not multiple imputation.
Here use a logistic regression for conditional on , age and sex. For , use an appropriate discrete count model conditional on , age and sex, such as a suitably checked negative binomial regression, allowing enough flexibility for skewness and nonlinear effects. Include interactions or transformations needed by the analysis in the imputation models. If condom use is structurally undefined for a record, preserve that applicability rule rather than treating it as ordinary missing data.
Impute the eligible survey information before discarding records solely because the observed is absent. In each completed dataset select its own records and fit the requested logistic regression. This allows a record with missing to contribute to the target group in some imputations and not others. Models must respect any known eligibility restrictions; if eligibility was independently known, use that information.
For a scalar regression coefficient, let be its estimate and its estimated variance in completed dataset . Rubin's rules give
The standard error is . Use the corresponding multiple-imputation confidence interval, rather than treating one completed dataset as fully observed. For vector coefficients replace the squared differences by outer products and by the covariance matrix. This combines within-imputation and between-imputation uncertainty.
Ordinary multiple imputation by chained equations relies on missing at random, conditional on the variables included in its models, together with adequate model specification and suitable conditional distributions. For Bayesian inference that ignores the response mechanism, the usual sufficient condition also includes distinct parameters for data and missingness models, with an appropriately separate prior.
The suspected dependence on withheld responses makes the usual missing-at-random assumption doubtful. An accurately fitted observed-data model cannot, on its own, establish what the nonresponders would have reported. Use substantive judgement and sensitivity analysis under plausible missing not at random departures, for example a pattern-mixture sensitivity analysis shifting the imputed condom log odds or partner-count distribution relative to the observed-data prediction. Report how the final association changes. Additional informative measurements may make missing at random more credible, but cannot verify it.
Treat the extra measurements as auxiliary variables for multiple imputation. Include alcohol consumption and disease history as predictors in both the and conditional distributions, together with age, sex and the other incomplete response. If these auxiliary variables themselves have missing entries, give them appropriate models and update them within the same multiple imputation by chained equations sweeps. Preserve observed entries throughout.
Useful auxiliary measurements can improve predictions, precision and the plausibility of missing at random. Their association with the missing responses reduces uncertainty in the imputed values; association with nonresponse may explain some selection that otherwise depends on unobserved values. This can reduce selection bias under the enlarged missing at random model and reduce between-imputation variance. It does not guarantee elimination of missing not at random dependence. They need not be added to the final substantive logistic regression merely because they help imputation: the final analysis should still estimate its intended association.
Interpret the contests as standard all-pay auctions: the highest effort among entrants wins, ties are shared uniformly, and an unentered contest awards no prize. The printed question does not specify a prize allocation rule; the highest-effort convention is the one used for standard all-pay contests in the course author's 2014 lecture slides. Under this convention, we can characterize the unique symmetric participation probabilities and bid marginals. Uniqueness of the entire joint mixed strategy requires a further restriction on dependence, as explained below.
Let be the probability that a player omits contest . Since every player enters exactly two contests, . Let be the probability that a rival is absent from contest or enters it with effort at most . Rivals' strategy draws are independent between players. For a positive bid outside a measure atom, the expected payoff from this contest is
An all-pay auction cannot have a positive-effort measure atom in a symmetric equilibrium: slightly overbidding that measure atom gives a positive discrete increase in the winning probability at an arbitrarily small extra cost. Nor can active bids have a measure atom at zero when entry has positive probability, because a small positive bid beats tied zero bids. Gaps inside the active effort support are impossible: moving a bid from the top of a gap to just above its bottom preserves its winning probability and lowers its cost. The effort support starts at zero, because lowering its positive lower endpoint would preserve the chance that every rival is absent.
The all-pay indifference equation with random entry consequently gives the maximal per-contest payoff
Every lies strictly between zero and one. First, if , the other two contests have certain entry and zero per-contest payoff, while deviating into the unused contest wins a positive prize. This contradicts equilibrium. Next, if , the remaining omission probabilities sum to one and neither can equal one, so both are positive. Contest has zero per-contest payoff, whereas both other contests have strictly positive payoffs. Every pair containing is then worse than omitting it and entering the other two, contradicting certain entry in .
Every omission therefore occurs with positive probability. The three entered pairs must give the same maximal payoff, which forces . Normalizing the omission probabilities gives the two-of-three all-pay participation equilibrium:
Conditional on entering contest , the effort has distribution function
extended by zero below this interval and one above it. The inequalities show that the larger prizes are entered more often.
To construct an equilibrium, omit with probability , then draw the two active efforts independently with their respective conditional distributions . Every bid in a contest's effort support earns ; a bid above earns at most . Thus no effort deviation or choice of a different pair improves on total payoff . This proves existence and verifies the Nash equilibrium without relying only on the indifference equations. The arguments above also prove uniqueness of the omission probabilities and the per-contest marginal distributions.
Figure 1.
Equilibrium omission probabilities and conditional effort distributions for three all-pay contests
.
For the full joint strategy law, however, the printed uniqueness claim is too strong. Given an entered pair , either use two independent uniform random variables and bids , or use a single uniform and bids . These are different copulas with the same conditional marginals. A fixed deviation's expected additive payoff only uses the rivals' per-contest marginal distributions, so both constructions remain Nash equilibria. This is the marginal-equivalent equilibria in additive contests phenomenon. The participation probabilities and bid marginals are unique; the full joint mixed strategy is not unique unless a dependence convention is imposed. Independent conditional sampling gives one canonical representative.
First, the absolute values in the printed limit are an error: the correct long-run variance of a stationary process is the signed sum of autocovariances. Directly,
so
Each coefficient tends to and has absolute value at most . Absolute summability and the dominated convergence theorem therefore give
The sum of absolute values is an upper bound, not the general limit. For a concrete counterexample to the printed assertion, take with unit-variance iid noise. Then , , and other covariances vanish. The absolute sum is , but , so .
For correlated data the central limit theorem can still hold under suitable strong mixing of a stationary process and moment conditions, but the limiting variance is the long-run variance of a stationary process, rather than the one-observation variance. When it is positive,
Positive serial dependence usually increases the standard error, while negative dependence can reduce it. The approximate effective sample size of a stationary sample is when that denominator is positive. A long-memory time series can require a different normalization or a different limit law. Absolute covariance summability alone does not prove a CLT: if with a common independent random scale taking values and with equal probabilities and iid with the standard normal distribution, the off-diagonal covariances are zero, yet has the nonnormal scale-mixture law . The example is not an ergodic stationary process. If the long-run variance of a stationary process is zero, the usual nondegenerate square-root- CLT is unavailable.
For the causal AR(1), and
The conditional distribution follows because the current innovation is independent of the past.
For a fixed known , condition on the observed and use the transitions . Their conditional maximum likelihood criterion is, up to constants,
Differentiating in yields
Since ,
Thus it is an unbiased estimator, even conditionally on , and
It has statistical consistency with mean-square convergence, and the iid-noise strong law of large numbers also gives almost-sure statistical consistency. Its conditional distribution is exactly normal with the displayed mean and variance. If is also observed and all transitions are used, replace by .
The fixed- qualification is necessary for the exact finite-sample claims. If is jointly estimated, conditional likelihood function is linear regression with an intercept: writing and , the unconstrained estimators are
This ratio is not generally an unbiased estimator and does not have the preceding finite-sample variance. Under the usual stationary regression conditions it has statistical consistency; its asymptotic variance is . Indeed, it differs from by , an asymptotically negligible endpoint term. Profiling an unknown innovation variance does not change the fixed- estimate of .
Write , let , let , and put . Assume the covariance matrix is invertible. Because the mean is known to be zero, every linear predictor is unbiased. Its mean squared prediction error is
Completing the square yields
The positive-definite matrix property makes the last term nonnegative, proving the simple kriging formulas
The residual is uncorrelated with . Since the joint law is multivariate normal, it is independent of , so the same predictor and variance describe the conditional distribution. Consequently a 95-percent prediction interval is
There is no constraint that the weights sum to one: that is required for an unknown constant mean in ordinary kriging, not for the stated known-zero-mean problem. If is singular, use a Moore-Penrose inverse with the corresponding covariance compatibility condition. At an already observed location prediction of that very same field value has zero error; predicting an independent noisy replicate is a different target. Estimated covariance parameters make this a plug-in interval and generally add uncertainty that the formula does not include.