Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 13J b i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 13J a iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 13J a ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 13J a i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 12F iii Solution Created 2026-09-24 Updated 2026-09-25
Let , where is the total primitive-recursive parity function from part (ii), and apply unbounded minimization in :If is even, then and . If is odd, then for every , so the search never terminates and is undefined. Hence is partial recursive. Because every function built without minimization is total, cannot be defined without minimization; the functions and can.
It remains to characterize the functions built using only the initial functions and composition. They are exactly the functionsfor some and some input coordinate .
Indeed, the zero function is the first form, the successor function and each projection function have the second form, and composing functions of these forms preserves the classification: a constant outer function remains constant, while an outer function selects one inner function and adds . This proves necessity by structural induction. Conversely, applying the successor function times to zero produces the constant , and applying it times to produces .
Every function in this class is directly computable: an algorithm either writes the fixed constant , or copies the th input and performs successor steps.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 12F ii Solution Created 2026-09-24 Updated 2026-10-03
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 12F i Solution Created 2026-09-24 Updated 2026-09-25
A partial recursive function is obtained from the three kinds of initial function of recursion theory—
the zero function, successor function, and projection function—by finitely many applications of function composition in recursion theory, primitive recursion, and unbounded minimization. Explicitly, primitive recursion has the formwhile minimization takes the least for which and is undefined if no such is found.
the zero function, successor function, and projection function—by finitely many applications of function composition in recursion theory, primitive recursion, and unbounded minimization. Explicitly, primitive recursion has the formwhile minimization takes the least for which and is undefined if no such is found.
For the function in part (i), defineThe initial value and the identically zero recursion step are primitive recursive, so this is a primitive-recursive definition of the required zero test. It uses no minimization.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 10D b Solution Created 2026-09-24 Updated 2026-09-25
The no-cloning theorem for two pure states states that, for distinct nonorthogonal states and , there is no unitary operator and fixed blank state such that
To derive this from state discrimination, letand suppose such a cloner existed. Applying it repeatedly would produce copies. The inner product of the two possible -copy states has magnitude , so their optimal success probability under the Helstrom-Holevo bound would beAlready for ,because implies . But cloning followed by the two-copy Helstrom measurement for two pure states would itself be a quantum procedure applied to the original single state, contradicting the optimal one-copy bound . Hence the assumed unitary cloner cannot exist.
Equivalently, clone-assisted asymptotic state discrimination would give , although two nonorthogonal states are not perfectly distinguishable. Thus the Helstrom--Holevo theorem implies the no-cloning theorem.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 10D a Solution Created 2026-09-24 Updated 2026-09-25
With equal priors, the probability of a correct result from this quantum measurement isThe two required amplitudes areThereforeIts maximum occurs at and is
Here , so and . The stated Helstrom-Holevo bound is consequently exactly the same value, and the basis above is the Helstrom measurement for the zero and plus states.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 8E c Solution Created 2026-09-24 Updated 2026-09-25
By the real spectral theorem, the real symmetric matrix has an orthonormal basis of eigenvectors. In that basis the associated quadratic form isRescaling the coordinates belonging to nonzero eigenvalues changes every positive coefficient to and every negative coefficient to . Hence the diagonal normal form has one positive square for each positive eigenvalue and one negative square for each negative eigenvalue. By Sylvester's law of inertia, these counts do not depend on the diagonalizing basis, so
The numerical eigenvalues are not invariant under a general change of basis, because the matrix changes by congruence rather than similarity. For example, on a one-dimensional space let . Its matrix in the basis is , whereas in the basis it is . The eigenvalue changes from to , although its sign, and therefore the signature, is unchanged.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 8E b Solution Created 2026-09-24 Updated 2026-09-25
The symmetric matrix of the quadratic form in the standard basis isbecause the off-diagonal entries contribute twice to .
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 8E a Solution Created 2026-09-24 Updated 2026-09-25
A Hermitian form is a sesquilinear form such thatUse the convention that is linear in its first argument and conjugate-linear in its second. Its matrix in the basis isIf and , then
Since , the coordinate row of each new basis vector is a row of . Direct substitution givesso the new matrix is
The subspace is the radical of . In coordinates it is the kernel of , and the rank-nullity theorem gives
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 6B b Solution Created 2026-09-24 Updated 2026-09-25
Appending the node to the existing Newton interpolation polynomial givesAt the new node,The condition therefore givesHence
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 6B a Solution Created 2026-09-24 Updated 2026-09-25
Use the nodes in the order . Their first divided differences are , their second divided differences are , and their third divided difference is . The Newton interpolation polynomial is thereforeThis is the unique interpolating polynomial of degree at most three through the four data points.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 2F c Solution Created 2026-09-24 Updated 2026-10-03
No. Take the Hausdorff space and declare all nonzero points equivalent, leaving in its own class. The quotient has two points,The nonzero class is open because its inverse image is open. However, the only saturated set containing but not the other class is , which is not open. Thus every neighbourhood of is the whole quotient, so the two quotient points cannot have disjoint neighbourhoods. Therefore need not be Hausdorff.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 2F b Solution Created 2026-09-24 Updated 2026-09-25
Conversely, suppose is continuous. For every open set ,is open in . The definition of the quotient topology then says that is open in . HenceThis is the universal property of the quotient topology.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 2F a Solution Created 2026-09-24 Updated 2026-09-25
The quotient topology on isSince inverse images preserve arbitrary unions and finite intersections,Also and . The displayed collection therefore satisfies all the topology axioms.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 1E ii Solution Created 2026-09-24 Updated 2026-09-25
This nilpotent operator satisfies , while . Moreover,These ranks determine one nilpotent block of size three and one of size one. Hence its Jordan normal form is
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 1E i Solution Created 2026-09-24 Updated 2026-09-25
Let be the matrix unit with its only nonzero entry in row , column . Forone hasThereforeThe matrix units form an eigenbasis, with having eigenvalue . The zero eigenspace consists exactly of the diagonal matrices and has dimension . The rank-nullity theorem now gives
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 4 18H c iii Created 2026-09-24 Updated 2026-09-24
There are unlisted articles, also show them or only show them.