For each ball, the event of landing in is a Bernoulli distribution trial. Under the null hypothesis its probability is . Under the selected alternative , its probability is . The placements are independent random variables conditional on that selected index, so the count has the binomial distribution:
The second assertion concerns , rather than the unconditional mixture model .
The Hoeffding lemma for a Bernoulli distribution variable gives . Multiplication of the moment-generating functions of the independent random variables gives . Thus the centered count is a sub-Gaussian random variable with variance proxy . The Chernoff bound, optimized at , gives
The same estimate holds for the lower tail by applying the Chernoff bound to . No independence between different bin counts is needed.
In natural logarithms, Fano's inequality for a uniform index among alternatives states . The mutual information is at most the average Kullback-Leibler divergence to any fixed reference law. With the supplied packing, nearest-neighbour decoding turns partition error below half the separation into correct decoding. Thus the packing alone proves a bound at radius , with the unavoidable term. It does not automatically prove the much larger printed radius.
A list-decoding Fano inequality supplies the intended near-half error threshold. Assume , since otherwise that threshold is nonpositive and its event is automatic. Take a uniform prior on all unlabelled balanced partitions, and let . A Hamming ball of radius less than around any estimated partition contains at most such partitions. This follows by selecting the representative closer to the estimated group; each unlabelled partition contributes at most one such representative because . The entropy bound for a Hamming ball gives , where is the binary entropy function measured in natural logarithms. Its curvature gives . Also , so
Use the all- independent-edge law as a reference. Only the crossing pairs differ; the preceding Bernoulli distribution divergence estimate gives . Hence . Whenever the denominator is positive, the list-decoding Fano inequality proves the finite-sample answer
For , this is at least . If in addition , it implies the intended form with . This proves the claimed information-theoretic scale with its needed finite-sample qualifications.
As a uniform finite-sample assertion for every positive , the printed form is false. At every partition has the same data law, and a uniformly random balanced guess has a positive chance of being correct, giving error strictly below one. Such randomness can also be extracted from the finite graph sample: assign distinct graph outcomes to the finitely many balanced partitions; under the common law every selected outcome has positive probability. The worst error remains strictly below one for sufficiently small positive , by continuity. The printed lower bound tends to one as for any fixed universal , which contradicts this. The entropy correction cannot be dropped without an asymptotic or signal-size condition.
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.
Let and use the floor function to choose
Interpret an empty integer interval as an empty sum. These bounds give exactly the event , where has the binomial distribution of parameters . Since , the central limit theorem for a sum of independent Bernoulli distribution variables gives convergence in distribution of that standardized count to the standard normal distribution. Its cumulative distribution function is continuous at both endpoints, so
The TeX's additional malformed inequality involving and is absent from the PDF and is not a condition on the requested integers.
Introduce a latent Bernoulli distribution indicator , with denoting a structural zero and . Conditional on , retain the negative binomial regression with and . This gives a zero-inflated negative binomial model:
A participant who fishes may still catch zero, so an observed zero does not reveal the latent class. This distinguishes zero inflation from a hurdle model, which truncates the count component at zero. The marginal expectation becomes , and the law of total variance gives
A constant is a parsimonious starting model. If there is evidence that nonparticipation changes with day or other recorded predictors, use logistic regression for instead. Conditional independence of visitors remains an assumption; extra zeros alone do not establish its validity.
The quasibinomial regression retains the logit link and mean function but uses the working variance function . Its quasi-score equation is
so multiplying by the common dispersion parameter does not change the coefficient estimates. Iteratively reweighted least squares therefore gives the same fitted means and coefficients as the binomial model. The usual Pearson dispersion estimator is
The estimated coefficient covariance matrix is , with . From the intercept standard errors, ; the rounded slope errors give approximately the same factor. The display uses approximate Student's t-tests with 118 residual degrees of freedom instead of fixed-dispersion normal tests.
For a genuinely individual binary response, the Bernoulli distribution identity forces . Thus is a working quasi-likelihood specification, not a different independent binary distribution with that mean. The mild estimated underdispersion does not establish an improved model, and the mean predictions are unchanged. In particular, a scalar rescaling does not model correlation among users, and usual likelihood-based Akaike information criterion comparisons are unavailable for a family without a specified probability likelihood. The output gives no convincing reason to prefer model3 to model2.
For a kernel for density estimation with integral one and a smoothing bandwidth , the univariate kernel density estimator is
Its expected value is
This is the convolution identity. It holds wherever the integral is defined, in particular everywhere for the bounded kernel used below. For a nonnegative kernel for density estimation, Tonelli theorem also gives the identity as an extended nonnegative integral. A signed kernel for density estimation instead requires absolute integrability for this interchange.
For the centred unit-width uniform kernel, substitute :
Put . The Taylor theorem with Lagrange remainder gives
The odd function term integrates to zero, while . Hence the bias of a kernel density estimator obeys
This is a second-order pointwise bias bound for kernel density estimation. Existence and boundedness of the second derivative suffice for the stated remainder; continuity of that derivative is not an extra assumption.
For concentration, write
The are independent and identically distributed random variables with a Bernoulli distribution, and . The required concentration bound follows from the Hoeffding lemma. We prove its Bernoulli case directly. With
we have and , where is the exponentially tilted success probability. Therefore for every real . If or , the centred variable is identically zero and the same bound holds directly.
Independence and the exponential form of the Markov inequality now give, for ,
Choose . Applying the same argument to the lower tail and adding the probabilities proves the Hoeffding inequality
To obtain the requested variance constant, use the additional bound that a probability is at most one. Set and . The tail integral formula for moments, justified by Tonelli theorem, yields
Thus
The clipping at one is essential for this integration argument to give that constant. It is an instance of a second moment bound from a clipped Gaussian tail. The exact Bernoulli distribution calculation also gives , an even stronger bound.
Choose a Borel measurable function version of the posterior success probability . Conditional on , predicting zero has error probability and predicting one has error probability . A Bayes classifier for zero-one loss is therefore
Either decision is optimal when . The displayed Bayes risk also equals and is unaffected by changing on a -null set.
For any measurable set , independence and the uniform distribution of give
Likewise the probability with label zero is . These sets determine the joint probability distribution, so
The same construction makes all training pairs independent and identically distributed random variables.
Fix a feature-measurable nearest-neighbour tie-breaking rule, for example increasing original index for observations at equal Euclidean norm distance from the query. This is important: the ordering may depend on the features, but not on the or labels. Let be the label attached to the th ordered feature. The classifier from the K-nearest neighbors algorithm is
The displayed rule resolves a tied vote in favour of one; any fixed vote convention would also define the method. When , this is the one-nearest-neighbour classifier .
Write for the selected original index. Conditional on all features , it is fixed, and is still uniform on . The two decisions being compared are
The latter is an oracle comparison rule: its relabeling is recomputed at each query , rather than being a fixed relabeling of the training data for all queries. For a variable with the uniform distribution on , the two threshold indicators at differ exactly when lies between them, an interval of length . This Bernoulli coupling by a shared uniform random variable proves
Take the test pair independent of the training data and its auxiliary uniforms. Let , and interpret as conditional misclassification risk given . The tower property of conditional expectation gives . Conditional on the test feature and all training features, and are independent variables with a Bernoulli distribution of parameter . Consequently, for every ,
This is an exact finite-sample equality, not merely a limit.
The two error indicators can differ only if the two classifiers disagree, so
The permitted nearest-neighbour approximation theorem states that the last expected value tends to zero for the feature-based selection rule. This establishes the one-nearest-neighbour asymptotic risk
For , put . Then , and . Integrating gives the Bayes risk bound for one-nearest-neighbour classification
Thus a one-nearest-neighbour classifier need not achieve the Bayes risk: for constant , its limiting misclassification risk is , while .
Feature-based neighbour tie-breaking is required. The convention cannot be dropped for arbitrary . For a counterexample, take almost surely and constant , and choose among the coincident neighbours the one with the smallest . Then the predicted label is one with probability , so its misclassification risk tends to , exceeding the claimed upper bound . The corrected theorem uses ties determined independently of the uniforms and labels, as above.
Use the nearest-neighbour lattice graph with graph vertex set : an unordered pair is an edge precisely when . A bond configuration is ; under the product measure , its edge coordinates are independent Bernoulli distribution with success probability . Edges with coordinate one are open. The open cluster is the connected component of a graph reachable from the origin through open edges.
Define the percolation probability and percolation critical probability by
Equivalently, . The monotone coupling of Bernoulli percolation proves the equivalence: assign independent uniform distribution to the edges and open at parameter when . Connection events and then increase with . For , and , so the defining set is nonempty. The definition does not settle what happens at .
By translation invariance all roots have the same probability. Since the graph vertex set is countable, implies that no graph vertex lies in an infinite percolation cluster almost surely. Conversely a positive root probability gives positive probability of an infinite percolation cluster, and translation ergodicity of Bernoulli percolation then makes existence an almost-sure event. In question 2(b), means .
Let be independent and identically distributed random variables with the fair Bernoulli distribution, and put
Relative to , this fair-coin doubling martingale satisfies : while alive it doubles with probability and becomes zero otherwise. Its expected value is .
The probability of an infinite run of ones is , so is eventually zero almost surely. However,
Thus the martingale lacks convergence in L1 to its limit from almost sure convergence. Nor can it have convergence in L1 to any other limit: convergence in L1 implies convergence in probability, whose limit is unique up to almost sure equality.
Suppose with convergence in probability. For real and , the elementary inequality gives
First let , then let . The characteristic functions converge pointwise to that of , which is continuous at zero. The Lévy continuity theorem gives convergence in probability implies convergence in distribution.
For the converse, let have the fair Bernoulli distribution, put , and set for every . All have the same probability distribution as , so . But always, hence
There is no convergence in probability to . In this example does have convergence in probability to : the counterexample concerns the converse with the specified limit , as usual. If one interprets the question as denying convergence in probability to any limit, take for even and for odd . Its probability distribution is still constant, while the two subsequences have distinct limits from almost sure convergence, ruling out any common limit in probability by uniqueness of a limit in probability.
The difference of the Bernoulli distribution variances factors as
The first factor is positive, whereas makes the second negative. Thus and . Therefore Neyman allocation assigns more patients to treatment 1, the inferior treatment. Minimizing the variance of a treatment comparison and maximizing the number of desirable responses are different objectives.
For the plug-in Neyman allocation, the estimated Bernoulli distribution variances are and , so
This uses the target ratio directly as the allocation odds; a procedure that actively corrects previous allocation imbalances would need an additional rule.
For the randomized play-the-winner rule RPW, return the drawn ball and add one ball of the same treatment after a success or of the opposite treatment after a failure. Treatment 0 has three successes and two failures, and treatment 1 has one success and three failures. The urn therefore has treatment-0 balls and treatment-1 balls. Hence
For dynamic programming with only the final patient left, there is no future value from learning. Independent uniform prior distributions and Beta-binomial conjugacy give posteriors and . Their posterior predictive probabilities of success are and . The optimal terminal action therefore gives
This is optimal for expected successes with no imposed lower bound on the randomization probabilities.
Let and . To prove the Hoeffding lemma, take a centered random variable and its cumulant-generating function . Under exponential tilting, is the variance of . The Popoviciu inequality on variances gives
since under any such tilt the support remains , and . Because , integrating twice gives for ; applying the same argument to handles the opposite tail.
The independence of the gives . The Markov inequality, in the Chernoff bound argument, yields
where the minimum is at when . Apply the same argument to and add the bounds to obtain the Hoeffding inequality:
If , every centered is identically zero and the tail probability is zero; the displayed exponential is interpreted by its zero-variance limit.
For the Bennett inequality, write , and first assume and . For , boundedness and centering give
For , expanding the moment-generating function and using the permitted interchange of sum and expected value,
Negative odd moments cause no difficulty because the estimate is an upper bound term by term. The independence of the and the Chernoff bound then give
The derivative vanishes at , and substitution gives with the Bennett rate function . The same absolute bounds apply to , so
If , all centered are zero almost surely; if , the same is immediate. Handle those cases directly rather than divide by zero. Both derived concentration inequalities also hold with , by the same Markov inequality argument or by letting a smaller positive threshold increase to .
For the binomial distribution, write with independent and identically distributed random variables having the Bernoulli distribution with parameter . Then has range , width one, and variance . For large , , so and . Set .
The Hoeffding inequality gives
After truncation at one, this is asymptotically the trivial probability bound. The Bennett inequality instead gives
Since and by a Taylor expansion,
Thus the Bennett bounds for sparse binomial fluctuations yield
The Bennett inequality supplies the smaller raw exponential bound for every fixed and all sufficiently large . If , clipping probability upper bounds at one makes both eventually trivial; for , the Bennett inequality retains a nontrivial limiting bound. This distinction avoids claiming a probability improvement after clipping when both raw bounds exceed one.
Conditional on the covariates, the binary responses are independent with Bernoulli distributions:
Thus , the logistic regression model. The maximum-likelihood estimates are
Using the reported age standard error, an approximate 95% Wald confidence interval is
This interval concerns the age coefficient in log odds per year, with income and loan amount held fixed.
Let be the number of heads. The likelihood function for the Bernoulli distribution sample is proportional to . A uniform distribution prior on is the distribution, so Beta-binomial conjugacy gives the posterior distribution
Conditional on the observed colleges, the stochastic block model assumes that the friendship indicators are independent random variables. For arbitrary linear predictors , their Bernoulli distribution likelihood is
Thus the three requested likelihoods are
Let be the indicator that man develops heart disease and let . The fitted logistic regression assumes independent Bernoulli responses with
The event is . Since has affine branches of slope magnitude , this preimage is, up to endpoints, a disjoint union of intervals of length and has measure .
More generally, for every binary word , its itinerary cylinder
is, up to finitely many endpoints, one monotonicity interval of and has measure . Therefore
so the are independent and identically distributed random variables, each with the Bernoulli distribution of parameter .
The finite itinerary cylinders have diameters at most . Their endpoints form a dense set, so their unions generate the Borel sigma-algebra after completion by null sets. Thus
in the standard probability-space convention that σ-algebras are identified modulo null sets.
There is a small literal endpoint defect in the uncompleted formulation of the question: , , and all have the all-zero itinerary, so cannot separate these Borel singletons. Consequently the displayed equality is false as an equality of raw Borel σ-algebras with the stated open interval, but it is true after completion and modulo null sets, which is the version used in the ergodicity argument.