The covariance matrix is
If , the moment-generating function in part (ii) factors into the product of the two marginal moment-generating functions. Thus and are independent random variables; this is the independence of uncorrelated jointly normal variables.
By bilinearity of covariance,
Choose
Then is bivariate normal by part (i) and has zero covariance, so is a normal random variable independent of . Hence .
For this model, the Gauss-Markov theorem states that is the unique minimum-variance linear unbiased estimator of : if
is unbiased for every , then .
Indeed,
so unbiasedness is equivalent to . Write
The constraint becomes . Since the errors are independent with common variance ,
Equality holds exactly when every , which gives and .
By independence of the two simple random walks, linearity of expectation, and symmetry of their transition probabilities,
The Chapman-Kolmogorov equation identifies the inner sum as , so
A simple random walk on the integer line can return to only at an even time. Since it is recurrent at , part (a) gives
Therefore .
Assume first that is a cap set. Over the finite field , define
Since is one at and zero at , is the indicator function of . If satisfy this equation, then either they are all equal or they are three distinct points; the latter is excluded. Thus is a diagonal tensor with every diagonal entry equal to one, and the slice rank of a diagonal tensor gives
Expand as a polynomial. Every variable has exponent at most two, and every monomial has total degree at most . Splitting a monomial's degree among its -, -, and -blocks, at least one block has degree at most . Assign each monomial to one such block and group together terms with the same low-degree block monomial. Each group is one slice, so
where
If , then the are independent random variables uniformly distributed on and
by the given tail probability bound. Consequently every cap set satisfies
Put . For , the preceding bound is at most . For each of the finitely many , a cap set is a proper subset of , so its size is at most . We may therefore choose
Every cap set then has size strictly below . Equivalently,
Let be the number of ice creams in price category and score category . The fitted Poisson regression assumes that the nine counts are independent random variables with
where the logarithmic link function is used and excellent is the reference level in a regression factor, so . Equivalently,
This is the independence log-linear model for a two-way contingency table: price and score have main effects but no interaction.
Saying that has law means that is the pushforward measure
For a real random variable, is a probability measure on .
The pair consists of independent random variables when
for every pair of Borel sets ; equivalently, their joint law is the product of their marginal laws.
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
For every Borel set , let
be its random point count. A Non-homogeneous Poisson point process with intensity function of a point process is characterized by:
Because has a density with respect to Lebesgue measure, it is atomless, so the process is simple: almost surely no location occurs more than once.
Let have the uniform distribution on , and set
The variables have the same law. They are not independent random variables, since
Let be independent Rademacher signs, also independent of the i.i.d. sample . With the normalization, the Rademacher complexity is
The Rademacher symmetrization inequality is
The Bounded differences inequality states that if for independent random variables , and replacing only can change by at most , then for every ,
The same estimate holds for the lower tail .
The Kolmogorov zero-one law says that for independent random variables , every event in the tail sigma-algebra
has probability zero or one.
In the canonical model of an independent and identically distributed sequence, the sample space is a sequence space with the product law, is the th coordinate, and the left Bernoulli shift satisfies . If is shift-invariant, then for every ,
so . The zero-one law therefore says that the canonical one-sided i.i.d. shift is ergodic.
A cipher has perfect secrecy when the conditional probability of every plaintext given a ciphertext equals its prior probability: whenever . Equivalently, the plaintext and ciphertext are independent random variables.
Fix a ciphertext that can occur. Perfect secrecy requires every possible plaintext to remain possible after observing . For a deterministic decryption rule, two different plaintexts producing require two different keys, so the key space has cardinality at least that of the message space.
In a one-time pad, the message and key belong to the same finite additive group, the key is uniform and independent of the message, and encryption is . For every there is exactly one key , so
independent of . Bayes' theorem then gives , proving perfect secrecy.
Perform every addition in the finite field . From the two transmitted strings and one obtains
Choosing one candidate value of recursively determines , and hence determines the candidate plaintext . There are only two candidates: changing complements every recovered key bit and every plaintext bit. The information that the message makes sense normally selects the intended candidate.
Once this ambiguity is resolved, any other ciphertext positions encrypted with the recovered segment can be decrypted. Key bits outside that segment remain independent and uniformly distributed, so this mistake gives no information about messages using only those bits. This is the two-time pad attack: reusing related one-time-pad key material destroys perfect secrecy.
The estimator is unbiased for because the independent random variables satisfy . Given , all placements of the successes are equally likely, so
Thus the Rao-Blackwellized estimator is
It is unbiased by the tower property. Since and , the event has positive probability, and conditionally on it takes both zero and one with positive probability. Hence , so the new estimator has strictly smaller variance.
Let
be the hat matrix. Then
depends only on the orthogonal projection , while
depends only on the orthogonal residual projection .
The random vectors and are jointly multivariate normal, and their cross-covariance is
Uncorrelated jointly Gaussian vectors are independent. Therefore
For the simple random walk on the integer line, a return to the origin is possible only at an even time. At time , exactly of the increments must be , so the return probability is
The supplied factorial bounds, equivalently the order estimate in the Stirling formula, give
Consequently diverges. By the recurrence criterion by return probabilities, the origin is a recurrent state; translation invariance then makes the whole walk recurrent.
For three independent walks, the probability that all three are at the origin at time is
This P-series is convergent, so the first of the Borel-Cantelli lemmas says that simultaneous returns occur only finitely often with probability one. Therefore the requested probability is
The upper envelope for implies
Writing , taking expectations, and using gives
Independent random variables then yield
Applying the lower envelope to similarly gives
If the variables are independent random variables, apply the defining product rule first to indicator functions, then to simple functions, and finally use bounded measurable approximation to obtain the displayed identity. Conversely, choosing gives
which is independence.
Let . Independence and zero means imply orthogonality in , so
If the variance series converges, is Cauchy in the complete space and hence converges there. Conversely, convergence makes Cauchy, so every tail of the nonnegative variance series tends to zero; therefore .
The self-loop at zero makes the irreducible chain aperiodic. The convergence theorem for irreducible, aperiodic, positive recurrent countable-state chains gives
Because and are independent,
Therefore