Bernoulli polarization martingale Created 2026-10-25 Updated 2026-10-31
Let , , and let be a binary random variable satisfying . Suppose is -measurable and is -measurable. The updateremains in and defines a bounded martingale. For example, take independent uniform random variables independent of the current filtration and set .
The binary identity givesand henceThe L2-bounded martingale convergence theorem gives a terminal random variable with almost sure convergence and convergence in L2. Iteration followed by the bounded convergence theorem yieldsThus takes only and , and preservation of its expected value gives a Bernoulli distribution with parameter . The terminal conditional expectation representation gives the exact mean squared errorThe finite-time paths can stay strictly inside while their limit lies entirely at the endpoints. The positive conditional variance in the interior makes permanent convergence to an interior value impossible.
Borel-Cantelli lemmas Created 2026-09-24 Updated 2026-10-14
The Borel-Cantelli lemmas turn a series of event probabilities into a statement about an entire infinite sequence of observations. A summable sequence of probabilities forces only finitely many occurrences almost surely, regardless of independence. A divergent series forces infinitely many occurrences when the events are mutually independent events. The precise event being measured is the limsup of events.
Imagine alarms with probabilities or , starting at . Both individual probabilities tend to zero. Nevertheless, the first alarm sequence eventually stops almost surely, whereas the second keeps returning almost surely if its events are mutually independent events. Reusing one uniform random variable for every alarm instead produces the shared-uniform counterexample to the second Borel-Cantelli lemma. Thus the individual probabilities alone do not determine long-run recurrence.
Complete convergence of random variables Created 2026-10-14 Updated 2026-11-05
A sequence converges completely to when for every . The first Borel-Cantelli lemma implies Almost sure convergence. For independent , any limit in Probability is almost surely constant; the second Borel-Cantelli lemma then gives the converse from almost sure to complete convergence. independence is essential: for one uniform random variable converges almost surely to zero but its exceedance probabilities have a divergent sum.
Finite-jump boundary crossing identity Created 2026-10-14 Updated 2026-11-05
Let be independent uniform random variables on , let , and set and . ThenIndeed, the complementary crossing is that of level one by the uniform-arrival residual mass martingale , with . Its jumps are downward, so its first crossing of one is continuous. An arrival coincides with a possible crossing time with probability zero: the possible times belong to the finite deterministic set obtained from subsets of the weights. Stop at that crossing or at . The stopped values are in , and as they converge to the crossing indicator because all arrivals occur before one almost surely. The optional stopping theorem and dominated convergence theorem give crossing probability . For , the strict displayed inequality already fails at time zero.
Moving-variable conditional-expectation convergence Created 2026-09-28 Updated 2026-11-05
Let be an increasing filtration and . Suppose almost surely and for one integrable random variable . Thenalmost surely and in L1 space. To prove this, put . Then , , and is a nonnegative supermartingale whose expectation tends to zero. Its almost-sure limit is therefore zero. This bounds the moving-variable error; the conditional-expectation convergence along a filtration, extended from bounded to integrable variables by truncation, handles itself. Dominated convergence also makes the error tend to zero in L1 space.
A separate finite bound for each is insufficient. For a uniform random variable on , take and trivial . Then almost surely, but for every .
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 43 1 b ii Solution Created 2026-10-03 Updated 2026-10-14
Integrating the Pareto distribution proposal yields for . For an independent uniform random variable , solve to obtain the inverse transform sampling ruleEquivalently because is also uniformly distributed. In implementation choose strictly between zero and one so that the inverse is finite.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 43 3 b ii Solution Created 2026-10-03 Updated 2026-10-14
Conditioned on the parameters, the data augmentation labels are independent. By Bayes' theorem, the conditional probability of component for observation isThis is the mixture responsibility. Draw an independent uniform random variable and select using the cumulative sums of . Refresh every label before recomputing the component sufficient statistics for the next Gibbs sampler sweep. Numerically, form the log scores , subtract their maximum and exponentiate before normalization.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 12 6 a Solution Created 2026-10-03 Updated 2026-10-14
Draw independent pairs of independent uniform random variables on . In each pair call the minimum and maximum , then relabel whole pairs so . Merge all endpoints in into vertex , with , and join the blocks containing the two endpoints of each pair, orienting from the right endpoint to the left. Self-loops are retained. This gives the uniform linearized chord diagram representation.
Before ordering, a pair has joint density on . Consequently its maximum has distribution and density ; conditional on , its minimum is uniform on . Independence and relabelling give the equivalent precise descriptionEvery one of the relative orderings of the independently drawn labelled endpoints has the same probability. After forgetting pair labels and within-pair labels, each matching of ordered points is produced by orderings. Thus its matching is uniform among the pairings.
To prove equivalence with the recursive graph law, remove the last endpoint and its mate from a uniform pairing. The remaining ordered points have a uniform -pairing, and the mate's old rank is uniform among the possible ranks, independently of that smaller pairing. Conversely insert the mate into a uniformly chosen one of its gaps, and pair it with the new final endpoint. For each old vertex block, the number of gaps assigned to it is exactly the number of endpoints already in that block, hence its old total vertex degree. These are the gaps immediately before each endpoint of that block. The last gap, after the last old endpoint, makes both new endpoints belong to the new final block and produces a self-loop. Therefore the attachment probabilities are for old vertices and for the new one. Induction proves the continuous construction and the recursive LCD model have the same distribution. Inserting a left endpoint into an old block raises exactly that vertex's vertex degree without splitting any old block.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 42 1 Solution 2026-10-14
The empirical distribution function gives each observation mass :The Glivenko-Cantelli theorem asserts the uniform, almost sure convergenceNo continuity of the distribution function is required. Here is a proof that also handles its jumps. Let be independent uniform random variables on , and write , where . The generalized inverse property gives , so, if is the empirical distribution function of the , then .
For a fixed positive integer , the strong law of large numbers applied at each of the finitely many grid points shows that almost surely. If , monotonicity sandwiches between its endpoint values, whenceTake the probability-one intersection of these events over all . On that event the limit superior is at most for every , hence is zero. Therefore . The coupled sequence has the same joint law as any independent sample from , which proves the asserted almost sure conclusion for the original sample.
For , the sample quantile iswhere denotes the th order statistic, with repeated observations retained. Suppose the population median is unique and is continuously differentiable in a neighbourhood of , with probability density function . ThenTo see the variance directly, fix and count observations below . This count has a binomial distribution with success probability . The event that the sample median is below this point is that the count is at least . The central limit theorem for this binomial triangular array gives a limiting probability , exactly the displayed normal distribution. Centering is necessary for stating the limiting distribution; subtracting the deterministic population median has no effect on the asymptotic variance requested in the comparisons.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 74 2 c Solution Created 2026-10-03 Updated 2026-10-14
For the Gillespie algorithm, start from and an integer molecular copy number . At each step use the current state, without the mean approximation in parts (a)–(b). The reaction propensity functions are and , and their sum is . Draw two independent uniform random variables on and setThe waiting time has an exponential distribution with rate . Keep the sample path constant on , advance , and choose the reaction byRecord the post-jump state, recompute both reaction propensity functions, and repeat with fresh independent uniforms. At the death propensity is zero, so only a birth is selected and the trajectory remains nonnegative. For a prescribed terminal time , if the next event would occur after , keep the current state to and stop. This produces exact piecewise constant sample paths of the specified continuous-time Markov chain.
Past exam of the mathematics course of the University of Cambridge 2009 ia Paper 2 11F Solution Created 2026-09-24 Updated 2026-10-14
Integrating the uniform density gives . By independence of random variables, . For the remaining expected value, integrate first in :The value at is supplied by continuity. Therefore, with the harmonic number ,
Conditional on one sample point being , it is a maximal external point precisely when none of the other points falls in the upper-right rectangle . Its area is , so its conditional probability of being maximal is . Both and are independent uniform random variables, hence a given point is maximal with probability . Summing their indicator random variables and applying linearity of expectation gives the expected number of coordinatewise maxima:This grows only logarithmically with the sample size, even though all points are potential candidates.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 42 3 Solution Created 2026-10-03 Updated 2026-10-14
Interpret the contests as standard all-pay auctions: the highest effort among entrants wins, ties are shared uniformly, and an unentered contest awards no prize. The printed question does not specify a prize allocation rule; the highest-effort convention is the one used for standard all-pay contests in the course author's 2014 lecture slides. Under this convention, we can characterize the unique symmetric participation probabilities and bid marginals. Uniqueness of the entire joint mixed strategy requires a further restriction on dependence, as explained below.
Let be the probability that a player omits contest . Since every player enters exactly two contests, . Let be the probability that a rival is absent from contest or enters it with effort at most . Rivals' strategy draws are independent between players. For a positive bid outside a measure atom, the expected payoff from this contest isAn all-pay auction cannot have a positive-effort measure atom in a symmetric equilibrium: slightly overbidding that measure atom gives a positive discrete increase in the winning probability at an arbitrarily small extra cost. Nor can active bids have a measure atom at zero when entry has positive probability, because a small positive bid beats tied zero bids. Gaps inside the active effort support are impossible: moving a bid from the top of a gap to just above its bottom preserves its winning probability and lowers its cost. The effort support starts at zero, because lowering its positive lower endpoint would preserve the chance that every rival is absent.
The all-pay indifference equation with random entry consequently gives the maximal per-contest payoffEvery lies strictly between zero and one. First, if , the other two contests have certain entry and zero per-contest payoff, while deviating into the unused contest wins a positive prize. This contradicts equilibrium. Next, if , the remaining omission probabilities sum to one and neither can equal one, so both are positive. Contest has zero per-contest payoff, whereas both other contests have strictly positive payoffs. Every pair containing is then worse than omitting it and entering the other two, contradicting certain entry in .
Every omission therefore occurs with positive probability. The three entered pairs must give the same maximal payoff, which forces . Normalizing the omission probabilities gives the two-of-three all-pay participation equilibrium:Conditional on entering contest , the effort has distribution functionextended by zero below this interval and one above it. The inequalities show that the larger prizes are entered more often.
To construct an equilibrium, omit with probability , then draw the two active efforts independently with their respective conditional distributions . Every bid in a contest's effort support earns ; a bid above earns at most . Thus no effort deviation or choice of a different pair improves on total payoff . This proves existence and verifies the Nash equilibrium without relying only on the indifference equations. The arguments above also prove uniqueness of the omission probabilities and the per-contest marginal distributions.
Equilibrium omission probabilities and conditional effort distributions for three all-pay contests
. Details. For the full joint strategy law, however, the printed uniqueness claim is too strong. Given an entered pair , either use two independent uniform random variables and bids , or use a single uniform and bids . These are different copulas with the same conditional marginals. A fixed deviation's expected additive payoff only uses the rivals' per-contest marginal distributions, so both constructions remain Nash equilibria. This is the marginal-equivalent equilibria in additive contests phenomenon. The participation probabilities and bid marginals are unique; the full joint mixed strategy is not unique unless a dependence convention is imposed. Independent conditional sampling gives one canonical representative.
Retain the binary random variables . Iterating the recursion givesEach binary history determines the full vector , so its sigma-algebra is finite by the sigma-algebra of a finite-valued random vector. Conversely, because , the integer uniquely determines the digits ; also . ThusAll binary histories have positive probability. By independence of the driving uniform random variables, along a fixed finite history every intermediate state is in , so each subsequent conditional branch probability, either or , is strictly positive. It follows that has nonempty fibres, each an atom of a sigma-algebra, and exactly elements.
Adaptedness from the preceding part gives . For , however, contains the events for every . They have distinct probabilities , so there are infinitely many distinct such events. Consequently the finite sigma-algebra cannot equal . The inclusion is strict for every .
Quantile coupling for convergence in distribution Created 2026-09-24 Updated 2026-11-05
If at every continuity point of , then the generalized inverses satisfyat every continuity point of . Since a monotone function has only countably many discontinuities, evaluating all quantiles at one uniform random variable gives an almost-sure coupling of the corresponding convergence in distribution.
Quantile expectation formula Created 2026-10-31 Updated 2026-11-05
For an integrable real random variable with distribution function , the generalized inverse sends a uniform random variable on to the distribution . This follows from if and only if . Equality of laws proves both the expectation formula and absolute integrability of the quantile. Atoms and flat pieces of cause no problem.
Randomized statistical test 2026-10-25
A randomized statistical test specifies a measurable rejection probability for each possible data value. It can be implemented by rejecting when an independent uniform random variable on satisfies . A deterministic test has only the values zero and one. Under a simple hypothesis , its rejection probability is , which is its test size for and its statistical power for .
The Neyman-Pearson lemma permits randomization on an equality set of the form to reach a prescribed test size. Continuous observations do not rule out an equality set of positive probability: if both hypotheses give the same probability density function, their likelihood ratio is identically one. This explains why a precise statement of the lemma includes boundary randomization even for continuous data.
Rao-Blackwell estimator for a uniform scale interval Created 2026-10-14 Updated 2026-11-05
For independent uniform random variables on with , the sample minimum and maximum form a sufficient statistic. Conditional on these endpoints, exchangeability and the uniform law of the remaining observations give . Applying the Rao-Blackwell theorem to gives the displayed unbiased estimator. Its variance is , compared with for .
Sampling an integer-shape gamma distribution Created 2026-09-24 Updated 2026-11-05
Let be a positive integer, , and independent uniform random variables on . Thenhas a gamma distribution of shape and rate , also called an Erlang distribution. The unit interval is essential: an unspecified uniform distribution on another interval would not give this algorithm.
For , . Each summand therefore has an exponential distribution with rate , and additivity of independent gamma distributions with a common rate proves the result. For , the output has expected value and variance . The formula directly covers integer shapes; replacing by a noninteger number of draws does not define a sampler for a general gamma shape.
Let a random vector have a finite actual range of values. Its nonempty fibres partition the sample space, and every event in is a union of those fibres. Thus each fibre is an atom of a sigma-algebra and has exactly elements. This assertion concerns the actual range; additional values attained only on null sets must still be counted when working with an uncompleted sigma-algebra literally.
To verify the claim, the fibres belong to as preimages of singleton Borel sets. Their unions form a finite sigma-algebra making measurable, so minimality of the generated sigma-algebra gives the reverse inclusion. Distinct subcollections have distinct unions because the fibres are nonempty and disjoint.
Consequently a finite history of finite-valued observations generates a finite natural filtration at each fixed time. It may be strictly smaller than the filtration of its driving continuous observations: a single uniform random variable already generates infinitely many distinct events with different probabilities.


