Let be an invariant distribution for the continuous-time Markov chain. Using , its stationarity equation becomes
Thus the measure with weights is invariant for the irreducible positive-recurrent jump chain. Its invariant distribution is unique, so . Normalization gives the invariant-measure transfer between a jump chain and a CTMC formula
The denominator is finite and nonzero because . Thus is a probability distribution and is positive recurrent.
For a discrete memoryless channel with input and output , its information capacity is
where is the mutual information and the maximum is over all input distributions. Capacity is measured in bits when logarithms have base two.
Take every logarithm in base two. The information entropy of is
with . If the codeword has length , then its expected codeword length is
For any decipherable code, the Kraft inequality gives
Define the probability distribution . By Gibbs inequality,
Since ,
Conversely, choose the integer lengths
Then , so their Kraft sum is at most one and the converse part of Kraft's inequality supplies a binary prefix code. Moreover,
Thus the minimum expected length satisfies the Shannon noiseless coding theorem
For a decipherable code with arbitrary lengths , apply the lower bound to the uniform source . Its entropy is and its expected length is . Hence
the total length lower bound for a decipherable binary code.
Now consider the cumulative construction. Since
and cannot have the same first binary digits: numbers sharing those digits lie in one half-open dyadic interval of length . Also, implies . Therefore no earlier codeword is a prefix of a later one, and no later, weakly longer codeword can be a prefix of an earlier one. The cumulative Shannon code is thus a prefix code, hence decipherable.
An optimal code minimizes expected codeword length over all decipherable codes for the specified source probabilities. The cumulative construction need not be optimal. For example, if
then and the construction gives codewords and , with expected length . The prefix code has expected length , so the constructed code is not optimal. In general, Huffman coding produces an optimal prefix code.
Let be the marginal probability distribution of . Subadditivity of information entropy and the concavity of information entropy give
For each ,
so .
Writing for team1_goal and for team1_xg, the first hypothesis concerns only the expected value:
The second specifies the entire conditional probability distribution:
with independence between matches as assumed in the question. The Poisson limit theorem, often called the law of small numbers in this setting, suggests a Poisson distribution when a goal count is the sum of many approximately independent rare scoring opportunities.
Weak convergence of probability measures on a metric space means that
for every bounded continuous real function . Weak convergence of random variables means weak convergence of their probability distributions; equivalently,
for every bounded continuous .
Put and define
Then . Differentiating with the Chordal Loewner equation gives
Uniqueness for this ordinary differential equation shows that . At ,
which is the endpoint identity for the Reverse Loewner flow.
For , the pathwise identity is generally false. The left side is built from the reversed final driver segment , whereas the right side is built from the initial segment . By time reversal and symmetry of Brownian motion they have the same probability distribution, but they are not equal for the given Brownian path.
The pushforward measure of under is , defined for by
The Lebesgue decomposition theorem says that if and are sigma-finite measures on the same measurable space, then uniquely
Let be convex with . If dominates the probability distributions , with densities , their f-divergence is
using the lower-semicontinuous perspective convention where . This definition is independent of the dominating measure.
The data processing inequality for f-divergences states
To prove it, take and let . If and , then the pullbacks of the densities of and with respect to are respectively and . The perspective of a convex function is jointly convex. Conditional Jensen inequality therefore gives
Integration proves the claim.
The Squared Hellinger distance is
If have densities with respect to a sigma-finite measure , this becomes
Fix any probability distribution and set , , and . Applying the data processing inequality to the indicator function of gives the Bernoulli Hellinger bound
The hinted inequality implies
The function is concave on . Since the form a set partition, , and Jensen inequality gives
Taking the infimum over proves the stated inequality.
Let be a Markov kernel, and let , be the output probability distributions. Applying the log-sum inequality for each to and gives
Summing over and using yields the data processing inequality for relative entropy
Each has the same probability distribution as , and independence makes and identically distributed. Thus their two strict tail probabilities are equal:
Apply Chebyshev's inequality using the mean and variance from part (i):
The equal-tail argument is essential: applying Chebyshev's inequality directly to the absolute tail alone gives the weaker bound .
Assuming is measurable, applying it separately to independent and identically distributed random variables preserves those properties. Thus have common mean and variance . For , the central limit theorem gives
Hence, for large , the approximate probability distribution is
The second argument is the variance. If , this sample mean equals almost surely, so the appropriate description is a point mass at .
The pivotal quantity lies in and satisfies . Thus
Rearranging these inequalities yields the exact confidence interval
For every , its coverage probability is exactly ; the result uses the finite-sample probability distribution, with no normal approximation.
The algebraic identity does not require a normal distribution for the errors. Applying the central limit theorem to their sample mean gives
Thus, for large ,
Its mean and variance remain exact, even though its normal distribution is now only an approximation. With the error probability distribution unspecified, the formula is retained as an estimator; it is not being asserted to remain a maximum likelihood estimation formula.
A discrete random variable on a probability space is a real-valued measurable function whose probability distribution is concentrated on some finite or countable set :
Measurability means for every real . Its probability mass function is , and . Requiring a countable image everywhere, rather than outside a null set, is an equivalent convention after harmless modification on a null set.
They need not be independent. For a counterexample take , , , and independent errors taking with equal probability. Then
Each centered estimator is zero with probability , but they are never both zero. Their zero events therefore violate independence.
A sufficient additional assumption is that the errors have a common normal distribution. The two estimators are then Jointly Gaussian, being linear combinations of the independent Gaussian random variables. Their zero covariance, established in iii, implies independence of uncorrelated jointly normal variables. Normal errors are a sufficient condition here, not a claim that no other error probability distribution could ever work.
For , the exponential power series gives the normalization of the Poisson distribution:
For , the limiting law assigns probability one to and zero to every positive integer . Negative would not define the stated probability distribution.
Let count green balls. Sampling without replacement gives a hypergeometric distribution. The possible values are , and counting equally likely three-element samples gives
Therefore
Their sum is , as required for a probability distribution.
Subtracting the constant translates the event without changing its probability. Therefore
This is a translation of the interval in the probability distribution of .
A uniform distribution has constant probability density on its interval, and the integral of that density must be one. The interval has length one, so
Changing either endpoint value has no effect on the probability distribution.