Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 202 4 iii Solution Created 2026-10-03 Updated 2026-10-05
Put and . The constant-in-time coefficient on is previsible, so the ratio minus is . Since , continuity and the dominated convergence theorem implyThe Itô isometry gives . For , use the Chebyshev inequality and the normal distribution of to obtainFirst let , then ; the normal distribution has no atom at zero. This provesNo independence between and the denominator is needed.
The first estimate suggested by the hint is valid: Brownian scaling and the Gamma function give . The second hint requires care about the placement of its expectation: with , the interpretation is correct by the Jensen inequality and the Itô isometry, whereas the interpretation is false with constant . For the latter interpretation, the Burkholder-Davis-Gundy inequality supplies a constant instead. One can see the obstruction with a Brownian motion stopped on exiting : if is that Brownian exit time, then , , and strict Jensen inequality gives .
This obstruction also survives the continuity condition on . On a long finite interval approximate by a continuous adapted process equal to until and decreasing linearly to during the next units of time, and take its initial value to be by inserting a short continuous ramp before starting the exit experiment. The Itô isometry controls these approximations, and letting the interval length tend to infinity recovers the strict inequality above; hence some bounded continuous adapted example also violates the latter interpretation with constant . The direct proof avoids relying on this ambiguous hint.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 216 4 c Solution Created 2026-10-03 Updated 2026-10-05
Fix the observed , let , and let . The E-step formsFor finite expected log-likelihoods and , the Jensen inequality givesThe first inequality allows additional mass outside the old complete-data support; it is equality when the relevant supports coincide. Ratios are taken on the support of . If a candidate assigns zero density on positive -mass, its is minus infinity and it cannot be an improving finite M-step.
An M-step of the expectation-maximization algorithm chooses with , soThis EM likelihood monotonicity also holds for a generalized M-step that merely increases , rather than maximizing it exactly. It is a statement about the observed-data likelihood function.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 344 1 c Solution Created 2026-10-03 Updated 2026-10-05
Apply the Jensen inequality to the convex exponential function under the trial equilibrium measure:The given identity therefore implies . Taking minus the logarithm reverses the inequality and proves the Feynman-Bogoliubov inequalityThe units make and dimensionless here. Equality holds when is constant on the support of the trial measure. Optimizing the trial parameters tightens an upper bound, which is the basis of the Gaussian variational approximation.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 348 2 c Solution Created 2026-10-03 Updated 2026-10-05
For every admissible transport map , the pushforward measure condition gives for -almost every . Hence , andApply the Jensen inequality to the convex function and the probability measure :Translation by one sends the source uniform distribution to the target uniform distribution, so is admissible. Its displacement is constantly one, givingNo monotonicity assumption on is needed, because all displacements have the same sign. The same argument with a transport plan also gives the identical minimum for the Kantorovich optimal transport problem.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 348 2 d Solution Created 2026-10-03 Updated 2026-10-05
As in part (c), every admissible transport map has nonnegative displacement with . The square root is a strictly concave function, so the reversed Jensen inequality givesThe map is admissible and attains one. ThereforeThus “worst” means largest cost among admissible transport maps. Equality in the Jensen inequality for a strictly concave function forces to be constant almost everywhere, so this maximizer is unique up to a -null set. For comparison, the admissible reflection has smaller costThe upper bound also holds for every transport plan.
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 4 30J iii Solution Created 2026-09-24 Updated 2026-09-29
The stochastic gradients obeyThe nonexpansiveness of metric projection and the subgradient inequality imply, after conditioning on ,Summing telescopes. Since both and lie in the radius- set , their distance is at most . By the Jensen inequality and convexity of ,ChooseThe two terms are then equal, and
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 4 30J iv Solution Created 2026-09-24 Updated 2026-09-29
With varying positive step sizes, the same one-step inequality isSum from to , use , and divide by . The Jensen inequality for the weighted average giveswhere and .
Past exam of the mathematics course of the University of Cambridge 2022 ia Paper 2 3F Solution Created 2026-09-23 Updated 2026-09-25
A function on an interval is a convex function ifJensen inequality states that for an integrable random variable , when all terms are defined,
The function is convex on becauseApplying Jensen's inequality to the uniform distribution on the positive numbers givesWriting and multiplying by yields
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 208 1 b Solution 2026-09-28
SetUnder the probability measure with density , the Jensen inequality for the concave logarithm givesThe sub-Gaussian assumption with variance parameter gives . A second application of Jensen inequality gives . Consequentlyas required.
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 210 4 Solution 2026-09-28
The pushforward measure of under isThe Lebesgue decomposition theorem says that for sigma-finite measures there are unique measures and such that
For a convex lower-semicontinuous function with , choose any measure dominating probability measures , put and , and define the f-divergenceusing the lower-semicontinuous perspective value when . This definition includes the singular part and is independent of .
To prove the data processing inequality for f-divergences, let and use . The densities of and , pulled back to , are and . Since the perspectiveis jointly convex, conditional Jensen inequality givesIntegration proves
Fix a probability measure . Let be uniform on and, conditionally on , draw from . Compare this joint law with the reference law under which is uniform and independent of . Forthe target expectation is , while its reference expectation isbecause the form a partition. Its reference variance is . The Cauchy-Schwarz inequality applied to the likelihood ratio givesThe last divergence separates over :Taking the infimum over all probability measures proves the required inequality.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 122 2 a Solution 2026-09-28
Choose vertices independently and uniformly from , allowing repetitions, and letBy Jensen inequality applied to the convex function ,
Let count the -subsets having fewer than common neighbours in . For each such , the probability that issoThe assumed inequality gives , so some choice has . Delete one vertex from each bad -subset of . The remaining set has size at least and contains no bad -subset, so it is -rich. This is the basic dependent random choice argument.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 208 2 b Solution 2026-09-28
Let be independent with laws . We prove the claim by induction. Split the law of total variance at the last coordinate:The first term is at most . Apply the induction hypothesis to . Differentiation under the expectation and Jensen inequality giveWriting and combining the terms yieldsThis is the Tensorization of a Poincaré inequality.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 1 30K b Solution Created 2026-09-24 Updated 2026-10-03
Since , Jensen inequality givesIf , concavity and yieldHence is decreasing on ; this is scaled centered risk under concave utility.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 1 30K d Solution Created 2026-09-24 Updated 2026-09-25
Condition on the information available before time . The current wealth is then fixed, while is independent of that information. PutFor any portfolio , use the inner product induced by the positive-definite matrix to writeThe linear image of a multivariate normal vector shows that the two portfolio returns are jointly normal, andThus independence of uncorrelated jointly normal variables makes the residual return independent of the aligned return; it also has expected value zero.
The continuation value is concave by part (c). Conditional Jensen inequality therefore shows that adding the independent centered residual cannot improve the objective:where . Since the optimal portfolio is unique, its residual must be zero.
It remains to determine the sign. If , the portfolios and have the same return variance, namely , while their means are and . The latter return has the distribution of the former plus the positive constant . Since is increasing, replacing by cannot reduce the objective, contradicting uniqueness. Hence .
Applying this conditional argument at every time gives nonnegative, past-measurable random variables such thatThis is the Gaussian one-fund theorem.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 2 14D c Solution Created 2026-09-24 Updated 2026-09-28
The function is strictly convex. Subject to , the Jensen inequality giveswith equality only atThis is the minimum of the relative potential, so it is a stable relative equilibrium.
Let near an equally spaced configuration, and putThe gap perturbations arewhose sum vanishes. A Taylor expansion gives the quadratic energiesThus the linearized equations areThe matrix in parentheses is the Graph Laplacian of . Its constant eigenvector has eigenvalue zero, while every vector whose components sum to zero has eigenvalue three. One orthonormal set of three normal modes and their angular frequencies is thereforeThe zero mode is rigid rotation. The positive and equal squared frequencies on the two-dimensional relative subspace prove stability and agree with the general normal modes of three equal masses with a symmetric gap potential.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 218 3 b Solution Created 2026-09-24 Updated 2026-09-25
Let , so . Since class counts add,The function is concave function on . Jensen inequality therefore giveswhich is precisely . Thus an axis-aligned split cannot increase the weighted empirical Gini impurity.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 224 2 c Solution Created 2026-09-24 Updated 2026-10-03
Use the distribution associated with the code in part b. Since ,For , Holder inequality, equivalently the indicated Jensen inequality, givesTherefore