Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 3 40C c Solution Created 2026-09-24 Updated 2026-09-25
Fix a shift that is not an eigenvalue of . Inverse iteration computesand may use as the eigenvalue estimate.
For a real symmetric matrix, suppose that one eigenvalue is uniquely closest to and that has a nonzero component in its eigenspace. Since the iteration is the power method applied to , the normalized vectors converge, up to sign, to an eigenvector for . If is the second-closest eigenvalue to the shift, the asymptotic direction-error ratio isThus a shift close to the desired eigenvalue gives rapid convergence. The Rayleigh quotients converge to and, for a simple eigenvalue, their errors are of second order in the vector error. This is convergence of fixed-shift inverse iteration.
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 4 40C a Solution Created 2026-09-24 Updated 2026-09-25
The Gershgorin circle theorem states that every eigenvalue of a complex matrix lies in at least one diskTo prove it, choose a nonzero eigenvector for and an index such that . The th component of givesTaking absolute values and using yieldsDivision by proves the theorem.
Past exam of the mathematics course of the University of Cambridge 2023 ia Paper 1 2C c Solution Created 2026-09-24 Updated 2026-10-03
Past exam of the mathematics course of the University of Cambridge 2023 ia Paper 1 6C c Solution Created 2026-09-24 Updated 2026-09-25
The Cayley-Hamilton theorem states that a square matrix satisfies its characteristic polynomial. If a matrix is diagonalisable, ; applying to the diagonal matrix gives zero and hence .
If , every eigenvalue satisfies , so all eigenvalues are zero and the characteristic polynomial is . Cayley--Hamilton then gives .
Past exam of the mathematics course of the University of Cambridge 2023 ia Paper 1 8B Solution Created 2026-09-23 Updated 2026-10-03
A real matrix is orthogonal when . If , norm preservation gives . If and , preservation of the Hermitian inner product gives ; distinct unit-modulus eigenvalues therefore have orthogonal eigenvectors.
The nonreal eigenvalues of a real matrix occur in conjugate pairs. Since their product is one and , the remaining real eigenvalue is . If , then , and , so : the plane is invariant.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 1 8F a Solution Created 2026-09-24 Updated 2026-10-03
True. By Jordan normal form, the characteristic polynomial records the total size of the blocks for each eigenvalue, while the minimal polynomial records the largest block for each eigenvalue. In dimension three this determines every block partition: for algebraic multiplicity three the possibilities , , and have largest block sizes three, two, and one; multiplicities one and two are equally immediate. Thus the two matrices have the same Jordan form and are conjugate. This is the characteristic and minimal polynomials determine similarity in dimension three phenomenon.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 1 8F b Solution Created 2026-09-24 Updated 2026-10-03
False. At eigenvalue , algebraic multiplicity two and minimal-polynomial exponent two force one block . At eigenvalue , the blocks have total size five and largest size two, so there are only two possible partitions,Hence there are exactly two conjugacy classes satisfying the given polynomial data, represented byandThere cannot be three mutually non-conjugate examples.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 1 8F c Solution Created 2026-09-24 Updated 2026-10-03
True. Since is invertible, every eigenvalue is nonzero. If had a nontrivial Jordan block , then for the stated positive integer ,would still have a nonzero nilpotent part and could not be diagonalizable. Therefore all Jordan blocks of have size one. This also proves diagonalizability inherited from an invertible power.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 1 8F d Solution Created 2026-09-24 Updated 2026-10-03
False. The real matrixhas the two distinct complex eigenvalues and , so it is diagonalizable over . It has no real eigenvalue and hence no real eigenbasis, so it is not diagonalizable over .
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 3 6D a Solution Created 2026-09-24 Updated 2026-09-25
The spatial wavefunction is the position amplitude of a stationary quantum state, so is its probability density after normalization. The real function is the potential energy, is the energy eigenvalue, is the particle mass, and is the reduced Planck constant.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 4 12B b Solution Created 2026-09-24 Updated 2026-09-25
Taking the Laplace transform of the differential equation and usinggivesHenceWhenever is not an eigenvalue of , the matrix is invertible, and thusThis is the Laplace-transform solution of a constant-coefficient vector ODE.
Set . The given homogeneous solution is , so the preceding formula saysfor every initial vector . Equality on every vector gives the matrix identityon the common domain of convergence and in particular away from the eigenvalues of . This is the Laplace transform of a matrix exponential.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 133 2 b Solution Created 2026-09-28 Updated 2026-10-03
Let and let generate the other factor of . For ,After abelianization, the image of is thereforeIf is not an eigenvalue of , then . Hence is a full-rank sublattice of with finite index of a subgroup . The displayed quotient, and therefore the image of the factor in , is finite. In fact the abelianization of a semidirect product by the integers gives
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 133 2 c Solution 2026-09-28
Let be a finite-index subgroup of , let , and project onto its factor. Then has finite index in , while the image of is for some . Choose projecting to . Every element of has a unique expression with , and conjugation by on is the restriction of . ThusBecause is not an eigenvalue of , part (b), applied to the finite-rank lattice , shows that the image of in is finite. The quotient by that finite image is generated by the image of , so is a finite extension of an infinite cyclic group. It is therefore a virtually cyclic group.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 216 1 c Solution 2026-09-28
For a decision in the unit ball, conditional expectation under the posterior givesThe symmetric positive semidefinite matrix has a Rayleigh quotient maximized over by any unit eigenvector corresponding to its largest eigenvalue. Bayes decision rule therefore chooses any such eigenvector for the stated utility.
Write . By the definition of the kernel matrix,andThe irrelevant positive factor gives exactly the stated constrained optimization.
Let , where is the largest eigenvalue and . The generalized Rayleigh quotient is maximized byup to sign and addition of a vector in , which does not change . Repeated leading eigenvectors give further principal directions.