Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 4 10D b Solution Created 2026-09-24 Updated 2026-10-03
Choose a power of two withSince the multiplicative order is less than , this guarantees . Prepare two quantum registers in the stateand use quantum modular exponentiation to obtain
Measure the second register. The order as the exact period of modular exponentiation implies that, conditional on the measured value, the first register is a normalized truncated periodic cosetwhere is the largest integer for which .
Apply the quantum Fourier transform to the first register and measure it, obtaining . The supplied Fourier-transform theorem states that, with probability of order , is an integer nearest to for some coprime to . On that event,The supplied continued-fraction theorem, applied through continued-fraction recovery in quantum order finding, therefore recovers the reduced fraction from . Because and are coprime, its denominator is the exact order . The candidate is checked classically by verifying .
The quantum Fourier transform, quantum modular exponentiation, continued-fraction algorithm, and final modular check all take polynomial time in . Since , the successful event has probability of order , as required.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 4 10D a Solution Created 2026-09-24 Updated 2026-10-03
The multiplicative order of modulo is the least positive integer such thatIt exists because and are coprime integers.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 8E b Solution Created 2026-09-24 Updated 2026-10-03
The adiabatic invariance of the action applies when the frequency changes by only a small fraction during one oscillation and no separatrix is encountered. A convenient condition isThenConsequentlyIf is the displacement amplitude, , and henceThus a slowly stiffened spring raises the energy as while reducing the amplitude as .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 8E a Solution Created 2026-09-24 Updated 2026-10-03
LetAn orbit of energy is an ellipse in phase space, with intercepts and . Its enclosed area is , so the action variable isThe transformationis canonical and gives the action-angle variables. Substitution yields
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 7A b Solution Created 2026-09-24 Updated 2026-10-03
One possible open contour begins at along a ray with , avoids the essential singularity at the origin, and ends at infinity along a ray with . For example, when is real, it may leave the origin along the positive real axis, bend through the upper half-plane, and approach the negative real axis as . At its initial end, ; at its final end, . More generally, the terminal ray may be chosen withso that is negative real. This contour satisfies the endpoint condition from part (a) and therefore produces a solution of the differential equation.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 7A a Solution Created 2026-09-24 Updated 2026-10-03
Differentiating under the contour integration sign givesSince , integration by parts turns this intoThe integral vanishes whenHence, up to an irrelevant multiplicative constant,The remaining endpoint condition isThus each open end of must lie where ; a closed contour also makes the boundary term vanish when the integrand is single-valued along it.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 5J c Solution Created 2026-09-24 Updated 2026-10-03
For the canonical link function, . Differentiating the log-likelihood gives the score functionSincewhere is the variance function, a second differentiation givesThis Hessian does not depend on the observed , so taking its negative expectation changes nothing. Hence
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 5J b Solution Created 2026-09-24 Updated 2026-10-03
For independent observations from an exponential dispersion family with common known dispersion parameter , the generalized linear model log-likelihood iswhere and the link function satisfies .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 5J a Solution Created 2026-09-24 Updated 2026-10-03
Writing the log-likelihood as , the Fisher information matrix is the expected negative Hessian matrixUnder the usual regularity conditions it is equivalently the expected outer product of the score function.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 4H c Solution Created 2026-09-24 Updated 2026-10-03
Introduce nonterminals for the terminals and one for the pair :Because the original start symbol occurs on a right-hand side, take a fresh start symbol . After eliminating the unit production , one grammar in Chomsky normal form isThe original grammar generates exactlyThe displayed grammar generates the same set: adds an on the left, adds one pair on the right, and terminates the derivation with . Since the original grammar does not generate ,
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 4H b Solution Created 2026-09-24 Updated 2026-10-03
Use the CYK algorithm. For a nonempty input word , let be the set of nonterminals that derive the substring . InitializeFor increasing substring lengths, computeAccept exactly when the start symbol belongs to . The proof is a mathematical induction on substring length: a one-letter derivation uses a terminal production, while every longer parse tree has a root production whose two subtrees yield two adjacent nonempty substrings. The recurrence considers every possible split point and therefore finds exactly all possible roots. For a fixed grammar the algorithm uses time. Under the strict form in part (a), it rejects immediately.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 4H a Solution Created 2026-09-24 Updated 2026-10-03
A context-free grammar is in Chomsky normal form when every production is of one of the formswhere are nonterminal symbols and is a terminal symbol. Under this strict convention there is no epsilon production, so such a grammar cannot generate the empty word. Conversion of an arbitrary grammar therefore givesIf , the two languages are equal. An alternative extended convention permits the exceptional start production ; under that convention conversion preserves the whole language.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 40C b Solution Created 2026-09-24 Updated 2026-10-03
Let be the symmetric Dirichlet second-difference matrix on the interior points. The method isThe orthogonal sine vectors diagonalize , with eigenvaluesBecause the two time-level matrices are real symmetric polynomials in the same symmetric matrix, they share this orthonormal eigenbasis. Whenever the left matrix is invertible, the amplification matrix is therefore normal, so its Euclidean operator norm is the largest modulus of its eigenvalues. The th amplification factor isFor the physical Courant number ,Hence exactly when . Requiring this uniformly for every mesh, whose values become dense in , givesEquivalently, and . Under these inequalities the denominator is nonzero for every : if this is immediate, while if then gives . Thus the necessary and sufficient mesh-uniform stability conditions areThis is the stability of a two-parameter implicit-explicit diffusion scheme. If consistency with the stated diffusion equation is also required, comparison of the leading Taylor terms gives , so and the stable consistent family has .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 40C a Solution Created 2026-09-24 Updated 2026-10-03
Let be the sampled exact solution and let denote the update matrix of the Forward Euler diffusion scheme. For ,is a convex combination, with the homogeneous boundary values included. ThereforeThis is the parabolic discrete maximum principle and proves max-norm stability directly.
The Taylor theorem and the second-order central difference give the exact-grid residualfor a sufficiently smooth solution on a fixed interval . If , thenIteration for yieldsThus implies convergence when the initial grid values converge to the initial data.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 3G iii Solution Created 2026-09-24 Updated 2026-10-03
If , complementing every received bit converts the channel into a binary symmetric channel with crossover probability . This deterministic and invertible output relabelling does not change the channel capacity. Since ,Thus the capacity rises again from zero as increases beyond , reaching one at , where every bit is flipped deterministically and can be recovered by complementation.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 3G ii Solution Created 2026-09-24 Updated 2026-10-03
At , the output of the binary symmetric channel is independent of its input. It conveys no mutual information, and therefore
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 3G i Solution Created 2026-09-24 Updated 2026-10-03
A reliable transmission rate means that length- codes can carry messages with tending to at least while the probability measure of the decoding-error event tends to zero. By the Shannon second coding theorem, the supremum of reliable rates is the binary symmetric channel capacityFor small positive , the binary entropy function has the asymptotic expansionso starts at one bit per channel use and decreases rapidly from one as errors are introduced.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 39A c Solution Created 2026-09-24 Updated 2026-10-03
Let , , and . Use the harmonic convention and write the pressure and velocity amplitudes asContinuity of pressure and normal velocity at both interfaces is equivalently the layer transfer relationSubstituting , , , and , then adding the two resulting equations, givesHence the acoustic transmission through a uniform layer isFor either or , the strong acoustic impedance mismatch makes transmission small except near , where . Away from those resonances,At the antiresonant points , the minimum is .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 39A b Solution Created 2026-09-24 Updated 2026-10-03
For a progressive plane wave, writeThe momentum equation gives , while the dispersion relation is . Therefore the pressure and longitudinal velocity amplitudes obeyThe constant is the acoustic impedance.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 39A a Solution Created 2026-09-24 Updated 2026-10-03
The linear homentropic acoustic equations areDifferentiate the first equation in time, take the divergence of the second, and use the third. This eliminates and and gives the acoustic pressure wave equation
There are unlisted articles, also show them or only show them.