Because and are independent random variables, conditioning on merely translates . The conditional entropy under a deterministic change of variables and the fact that conditioning reduces entropy therefore give
Interchanging and similarly gives , and hence
The proof applies to countable alphabets whenever the displayed information entropies are finite.
Because a strictly monotone map fixing both endpoints is increasing, the change of variables formula gives
Assuming , define
The Hilbert-space variance identity then gives
Under the regularity needed to interchange expectation and differentiation, because . Hence
Thus exactly when the integrated covariance in the numerator vanishes. In particular, this holds when the amplitude and the time warp are independent random variables.
A one-time pad over the finite additive group uses a key that is uniform on , independent of the plaintext , as long as the plaintext, and never reused. Encryption and decryption are
For independent random variables , conditioning reduces entropy and translation by a known element of the finite additive group preserves entropy, so
Interchanging and gives , hence
This is the entropy of a sum of independent finite-group variables.
The result explains why adding independent pad symbols cannot reduce uncertainty. For a uniform pad, is itself uniform and is independent of , which is the perfect-secrecy property. Independence is necessary: if is nonconstant and , then is constant, so
The commands choose observations and predictors; generate a matrix of independent standard-normal values; generate independent binary random variables with success probability ; and report the observed number of successes, . The first glm call then fits the Bernoulli logistic-regression model
The prediction command returns the fitted response probabilities and sums them.
The likelihood is
At the maximum-likelihood estimator, the intercept component of the score function is
Therefore
exactly, by the fitted-mean balance for logistic regression with an intercept.
The second fit uses probit regression,
where is the standard normal distribution function. Its intercept score is
a weighted residual equation. It does not imply , so exact equality is not expected. The output should nevertheless be close to : the data were generated with constant success probability independently of , so the fitted slopes should be small, the linear predictors should cluster near a common intercept, and the score weights should be nearly constant.
Let be the number of telephone lines in use. The memorylessness of the exponential distribution makes a continuous-time Markov chain, specifically the M-M-infinity queue with generator rates
Suppose and put . Each initial call is still active at time with the exponential survival probability , independently of the others. Their surviving number is therefore
A call arriving at time survives until with probability . By Poisson thinning, the number of surviving new calls is independent of and has law
Hence in distribution. Multiplying the probability generating functions of the two independent random variables gives, for ,
Equivalently, the transient distribution of an M-M-infinity queue is
with independent summands. As , the binomial term converges to zero and the Poisson mean tends to . Therefore
which proves the stated large-time approximation.
Let be the first team's goal count in match , let be row of the design matrix, and let be the regression coefficient vector. The fitted Poisson regression assumes that the are independent random variables with
The likelihood function maximized by glm is therefore
Write for the partial sum. Fix an integer . The tail-sum formula for expectation, applied to the nonnegative random variable , gives
because . The events are independent, so the second Borel--Cantelli lemma shows that infinitely often with probability one. Taking the countable intersection over yields
almost surely.
Now , and the triangle inequality gives
If the limit superior of were finite, the right-hand side would have finite limit superior, contradicting the preceding conclusion. Therefore
almost surely.
A Non-homogeneous Poisson point process with intensity function is a random counting measure such that, for every finite family of pairwise disjoint bounded Borel sets , the counts are independent random variables and
The assumed local integrability makes each Poisson parameter finite. This count law and independence characterize the process.
They are not independent. The Itô formula gives , and the bilinear Itô isometry therefore gives
If and were independent random variables, then would also be independent of the measurable function , and centeredness would instead give . This contradiction disproves independence.
Write the molecular copy numbers as and use the power-law reaction propensity convention of the paper. The seven propensities and stoichiometric vectors are
A channel is assigned zero propensity whenever its update would leave the nonnegative integer lattice.
The Gillespie algorithm starts from and . At the current state compute . If , terminate the path. Otherwise draw independent random variables from the uniform distribution on , set the next waiting time to
and choose the least index satisfying
Then update and , and repeat. The minimum of the seven competing reaction clocks has an exponential distribution of rate , while reaction wins with probability .
Let be independent random variables with the standard normal distribution. The unconstrained Milstein method step is
The noise is additive, so its Milstein correction vanishes. The diagonal, independent noise fields commute, so no cross iterated stochastic integral is required.
Implement each reflecting boundary condition for a diffusion by folding the proposed coordinate back into . One formula that also handles multiple overshoots is
The complete update is
Under the usual smoothness assumptions, the Milstein discretization has strong order of convergence one and weak order of convergence one. The reflection enforces the boundary pathwise.
Because are independent random variables, adding is an independent noise channel, so
is a Markov chain. The data processing inequality for mutual information gives
Translation in the finite additive group preserves conditional entropy, and independence therefore gives
and
Substitution proves the required entropy submodularity for three independent sums.
Let
where is the golden ratio. If the union-closed family consists of one nonempty set, any element of that set has frequency one, so assume its cardinality exceeds one. Choose independent uniform members and let be their characteristic vectors of sets. Then .
Suppose for a contradiction that every element has frequency . Put , and let , the characteristic vector of a set of . The chain rule for information entropy and conditioning reduces entropy give
because is a function of .
Fix the two prefixes and set
The two conditioned bits are independent random variables, and exactly when both are zero. The supplied binary entropy product inequality therefore gives
Averaging over the independent prefixes yields
whenever either conditional entropy is positive. Summing and using gives .
But set union keeps inside the union-closed family, so is supported on . The maximum entropy distribution on a finite set gives , a contradiction. Some element must therefore occur in at least members, proving the entropy bound for a union-closed family.
Write , , , and . Distances depend only on distributions, so all variables used in any one application may be realized as independent random variables.
First, the entropy submodularity for three independent sums implies
and analogously for . The Entropic Ruzsa triangle inequality gives and . Consequently the relevance of independent self-sums gives
Apply the Conditioned entropic Ruzsa distance of a summand first to and then to :
Three applications of the Entropic Ruzsa triangle inequality give
Adding all these bounds yields
Thus the required absolute constants may be taken as and .
The relevant invariance principle for a low-degree multilinear polynomial is the following. Let and be sequences of independent random variables satisfying
If is multilinear of degree at most and , then
For the proof, use the Lindeberg replacement method. Replace by one coordinate at a time and write , where and depend only on the other coordinates. A third-order Taylor expansion of has identical expected terms through order three for and , because the first three moments match. Each fourth-order remainder is bounded by , so the th replacement costs at most
Part (i), applied in the hybrid product space, bounds each of the two fourth-moment terms by . Thus the cost is at most . The triangle inequality and summation over prove the result.
For every , the exponential Markov bound and independence give
Taking the infimum over yields
For , convexity makes this supremum equal to , proving the upper bound in the stated tail form of Cramér theorem.