Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 18I a Solution Created 2026-09-24 Updated 2026-09-25
Let be a finite subgroup of and let be its exponent of a finite group. A finite abelian group contains an element whose order is its exponent: combine elements of maximal prime-power order across the primary components. Hence .
Every satisfies , so all elements are roots in the field of the nonzero polynomial . The Lagrange root bound over a field gives . Therefore , and the element of order generates . This proves that a finite subgroup of a field multiplicative group is cyclic.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 17H d Solution Created 2026-09-24 Updated 2026-10-14
We first derive the Erdős-Gallai path edge bound from part b. If an -vertex graph has no path of length , thenInduct on , component by component. A component with at most vertices satisfies the bound trivially. A larger connected component cannot have minimum degree at least by part b, so delete a vertex of degree less than and apply induction; the integer degree removed is at most , which preserves the bound.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 17H c Solution Created 2026-09-24 Updated 2026-09-25
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 17H b Solution Created 2026-09-24 Updated 2026-09-25
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 17H a Solution Created 2026-09-24 Updated 2026-09-25
We prove the Quadratic Turan edge bound by induction. The case is immediate. For , if contains no , the induction hypothesis for gives the stronger bound. Otherwise choose a copy of . Every vertex outside has at most neighbours in , since one adjacent to all of would complete a . Thus the number of edges having at least one endpoint in is at mostThe graph is still -free, so induction on the number of vertices givesThis proves the stated form of Turan theorem.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 16H c iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 16H c ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 16H c i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 16H b Solution Created 2026-09-24 Updated 2026-09-25
The Axiom of foundation says that every nonempty set contains an with . The principle of epsilon induction says that if a formula is progressive,then holds for every set.
Assume foundation and let be progressive. If failed for some , use separation to form the nonempty set of failures inside . Foundation supplies an -minimal failure . Every member of lies in the transitive closure and is not a failure, so progressiveness gives , a contradiction. Hence epsilon induction holds.
Conversely, assume epsilon induction and suppose a nonempty set has no -minimal member. LetIf every member of satisfies but , then , making an -minimal member of , contrary to the assumption. Thus is progressive. Epsilon induction says every set lies outside , contradicting that is nonempty. Foundation follows.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 16H a Solution Created 2026-09-24 Updated 2026-09-25
Fix a set and define by recursion on The recursion theorem defines a function-class uniquely by : for each there is exactly one finite sequence satisfying the displayed recursion through stage . Thus is genuinely functional, and the Axiom schema of replacement applied to the set gives the set .
Now defineIt contains every member of . If , then for some ; hence every belongs toThus is transitive. If is any transitive set containing every member of , induction gives for every , so . Thereforeis the transitive closure of .
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 15D d Solution Created 2026-09-24 Updated 2026-09-25
After the first Hadamard gate and the controlled unitary gate, the state isThe final Hadamard gate givesHence the Hadamard test returns one with probabilityIf , then and the outcome is zero with certainty. If , then modulo and the outcome is one with certainty. The single measurement therefore distinguishes the two promised cases exactly.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 15D c Solution Created 2026-09-24 Updated 2026-09-25
Use three controlled-NOT gates with control-target directionsOn computational-basis bits they act asThey therefore implement the Three-CNOT decomposition of the SWAP gate, and linearity proves the identity on every two-qubit state.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 15D b Solution Created 2026-09-24 Updated 2026-09-25
Use the inverse quantum circuit rule. Every gate in is self-inverse, so reverse their order. From left to right, the circuit for is:
1. a controlled-NOT with the lower qubit controlling the upper;
2. on the upper qubit and on the lower qubit;
3. a controlled-NOT with the upper qubit controlling the lower;
4. on the upper qubit.
2. on the upper qubit and on the lower qubit;
3. a controlled-NOT with the upper qubit controlling the lower;
4. on the upper qubit.
This is the requested circuit description, with the two wires and control directions unchanged under each individual gate's adjoint.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 15D a Solution Created 2026-09-24 Updated 2026-09-25
Apply the gates from left to right. The first Hadamard gate and the first controlled-NOT gate produce the Bell stateThe parallel gates then produceThe final controlled-NOT has the lower qubit as control; it interchanges and , whose amplitudes here are equal. Thus the output isBy quantum measurement in the computational basis, every basis outcome has probability equal to the squared modulus of its amplitude:
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 14B c Solution Created 2026-09-24 Updated 2026-09-25
Neglect the decaying mode from part a. A mode that enters during matter domination grows in amplitude byso its variance grows by . For , part b gives
For , the mode enters during radiation domination and is assumed not to grow significantly until equality. It then grows by . Since the equality mode satisfiesthe post-equality variance growth isTherefore the broken matter power spectrum from horizon entry is
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 14B b Solution Created 2026-09-24 Updated 2026-09-25
Normalize and put . The cosmological horizon crossing condition isFor , matter domination gives , and therefore
For , radiation domination and continuity at equality giveSubstitution in the crossing condition yieldsThese are the two branches of the horizon-crossing time across matter-radiation equality.
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 14B a Solution Created 2026-09-24 Updated 2026-09-25
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 13C c Solution Created 2026-09-24 Updated 2026-09-25
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 13C b Solution Created 2026-09-24 Updated 2026-09-25
Since and , the linearization isFor a spatial Fourier mode of the perturbation, part a givesThus with the dispersion relation after fast-inhibitor elimination
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 3 13C a Solution Created 2026-09-24 Updated 2026-09-25
Setting makes the inhibitor equation quasistatic:Taking the spatial Fourier transform and using the Fourier transform of a derivative givesTherefore the fast-inhibitor elimination in a reaction-diffusion system is
There are unlisted articles, also show them or only show them.