Conditioning on and using independent random variables gives
where the notation in the paper uses for the survival function.
Write the Cepheid measurement as , where , and define the calibrated absolute magnitude data
Thus has a multivariate normal distribution with mean and covariance matrix
The Hubble law and the definition of distance modulus give
Consequently, with
the Hubble-flow observations are independent random variables satisfying . Apart from a factor independent of the parameters, the joint likelihood function is
The expression extends by continuity to a singular limiting covariance such as .
Let be independent random variables and let
be their tail sigma-algebra. The Kolmogorov zero-one law states that every has probability zero or one.
Indeed, is independent of for every . The union of these finite-coordinate sigma-algebras generates , and independence extended from generating pi-systems shows that is independent of that entire sigma-algebra. Since itself belongs to it,
so .
A function has the bounded-differences property with constants
when replacing only coordinate changes its value by at most . The Bounded differences inequality states that, for independent inputs,
and the analogous lower-tail bound also holds.
For an open subdomain , identify with the closed subspace of obtained by zero extension. Its orthogonal complement is
If , then testing against and integrating by parts gives in in the distributional derivative sense. The Weyl lemma therefore gives a representative harmonic on .
The orthogonal decomposition by a closed subspace gives
Project the isonormal process defining onto these two orthogonal subspaces. The projections are jointly Gaussian and uncorrelated, hence independent. The first projection is a zero-boundary Gaussian free field on ; the second is a random distribution that is harmonic on . Thus
with independent summands. This proves the Domain Markov property of the Gaussian free field.
Because the variables are independent, the moment-generating function of the sum factors. Whenever ,
Therefore is sub-exponential with parameters
Let be independent random variables, let , and let each depend on every coordinate except . The modified logarithmic Sobolev inequality states that, for every real for which the expectations exist,
To prove it, first apply tensorization of entropy:
Condition on all coordinates except and use the stated variational formula with the admissible constant . The th conditional entropy is at most
Summing and taking the remaining expectations proves the inequality.
Model 1's residuals have a systematic curved pattern and a spread that grows strongly with fitted time. This indicates an incorrect linear mean on the original scale and heteroscedasticity; several observations are also influential or outlying. The constant-variance assumption is therefore implausible.
Logging time greatly stabilizes the spread and removes most of the mean pattern, so model 2 is much more compatible with constant conditional variance and linearity. A few conspicuous residuals remain. A residual-versus-fitted plot alone does not check independence or fully establish normality.
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.