Part II, 2019, Paper 4

Algebraic Geometry

• Paper 4, Section II, F

  Algebraic Geometry | Part II, 2019

  (a) Let $X \subseteq \mathbb{P}^{2}$ be a smooth projective plane curve, defined by a homogeneous polynomial $F(x, y, z)$ of degree $d$ over the complex numbers $\mathbb{C}$.

  (i) Define the divisor $[X \cap H]$, where $H$ is a hyperplane in $\mathbb{P}^{2}$ not contained in $X$, and prove that it has degree $d$.

  (ii) Give (without proof) an expression for the degree of $\mathcal{K}_{X}$ in terms of $d$.

  (iii) Show that $X$ does not have genus 2 .

  (b) Let $X$ be a smooth projective curve of genus $g$ over the complex numbers $\mathbb{C}$. For $p \in X$ let

  $G(p)=\left\{n \in \mathbb{N} \mid\right.$ there is no $f \in k(X)$ with $v_{p}(f)=n$, and $v_{q}(f) \leqslant 0$ for all $\left.q \neq p\right\} .$

  (i) Define $\ell(D)$, for a divisor $D$.

  (ii) Show that for all $p \in X$,

  $$\ell(n p)= \begin{cases}\ell((n-1) p) & \text { for } n \in G(p) \\ \ell((n-1) p)+1 & \text { otherwise }\end{cases}$$

  (iii) Show that $G(p)$ has exactly $g$ elements. [Hint: What happens for large $n$ ?]

  (iv) Now suppose that $X$ has genus 2 . Show that $G(p)=\{1,2\}$ or $G(p)=\{1,3\}$.

  [In this question $\mathbb{N}$ denotes the set of positive integers.]

  comment

Algebraic Topology

• Paper 4, Section II, F

  Algebraic Topology | Part II, 2019

  State the Lefschetz fixed point theorem.

  Let $n \geqslant 2$ be an integer, and $x_{0} \in S^{2}$ a choice of base point. Define a space

  $$X:=\left(S^{2} \times \mathbb{Z} / n \mathbb{Z}\right) / \sim$$

  where $\mathbb{Z} / n \mathbb{Z}$ is discrete and $\sim$ is the smallest equivalence relation such that $\left(x_{0}, i\right) \sim$ $\left(-x_{0}, i+1\right)$ for all $i \in \mathbb{Z} / n \mathbb{Z}$. Let $\phi: X \rightarrow X$ be a homeomorphism without fixed points. Use the Lefschetz fixed point theorem to prove the following facts.

  (i) If $\phi^{3}=\mathrm{Id}_{X}$ then $n$ is divisible by 3 .

  (ii) If $\phi^{2}=\operatorname{Id}_{X}$ then $n$ is even.

  comment

Analysis of Functions

• Paper 4, Section II, H

  Analysis of Functions | Part II, 2019

  (a) Let $(\mathcal{H},\langle\cdot, \cdot\rangle)$ be a real Hilbert space and let $B: \mathcal{H} \times \mathcal{H} \rightarrow \mathbb{R}$ be a bilinear map. If $B$ is continuous prove that there is an $M>0$ such that $|B(u, v)| \leqslant M\|u\|\|v\|$ for all $u, v \in \mathcal{H}$. [You may use any form of the Banach-Steinhaus theorem as long as you state it clearly.]

  (b) Now suppose that $B$ defined as above is bilinear and continuous, and assume also that it is coercive: i.e. there is a $C>0$ such that $B(u, u) \geqslant C\|u\|^{2}$ for all $u \in \mathcal{H}$. Prove that for any $f \in \mathcal{H}$, there exists a unique $v_{f} \in \mathcal{H}$ such that $B\left(u, v_{f}\right)=\langle u, f\rangle$ for all $u \in \mathcal{H}$.

  [Hint: show that there is a bounded invertible linear operator $L$ with bounded inverse so that $B(u, v)=\langle u, L v\rangle$ for all $u, v \in \mathcal{H}$. You may use any form of the Riesz representation theorem as long as you state it clearly.]

  (c) Define the Sobolev space $H_{0}^{1}(\Omega)$, where $\Omega \subset \mathbb{R}^{d}$ is open and bounded.

  (d) Suppose $f \in L^{2}(\Omega)$ and $A \in \mathbb{R}^{d}$ with $|A|_{2}<2$, where $|\cdot|_{2}$ is the Euclidean norm on $\mathbb{R}^{d}$. Consider the Dirichlet problem

  $$-\Delta v+v+A \cdot \nabla v=f \quad \text { in } \Omega, \quad v=0 \quad \text { in } \partial \Omega$$

  Using the result of part (b), prove there is a unique weak solution $v \in H_{0}^{1}(\Omega)$.

  (e) Now assume that $\Omega$ is the open unit disk in $\mathbb{R}^{2}$ and $g$ is a smooth function on $\mathbb{S}^{1}$. Sketch how you would solve the following variant:

  $$-\Delta v+v+A \cdot \nabla v=0 \quad \text { in } \Omega, \quad v=g \quad \text { in } \partial \Omega .$$

  [Hint: Reduce to the result of part (d).]

  comment

Applications of Quantum Mechanics

• Paper 4, Section II, B

  Applications of Quantum Mechanics | Part II, 2019

  (a) A classical beam of particles scatters off a spherically symmetric potential $V(r)$. Draw a diagram to illustrate the differential cross-section $d \sigma / d \Omega$, and use this to derive an expression for $d \sigma / d \Omega$ in terms of the impact parameter $b$ and the scattering angle $\theta$.

  A quantum beam of particles of mass $m$ and momentum $p=\hbar k$ is incident along the $z$-axis and scatters off a spherically symmetric potential $V(r)$. Write down the asymptotic form of the wavefunction $\psi$ in terms of the scattering amplitude $f(\theta)$. By considering the probability current $\mathbf{J}=-i(\hbar / 2 m)\left(\psi^{\star} \nabla \psi-\left(\nabla \psi^{\star}\right) \psi\right)$, derive an expression for the differential cross-section $d \sigma / d \Omega$ in terms of $f(\theta)$.

  (b) The solution $\psi(\mathbf{r})$ of the radial Schrödinger equation for a particle of mass $m$ and wave number $k$ moving in a spherically symmetric potential $V(r)$ has the asymptotic form

  $$\psi(\mathbf{r}) \sim \sum_{l=0}^{\infty}\left[A_{l}(k) \frac{\sin \left(k r-\frac{l \pi}{2}\right)}{k r}-B_{l}(k) \frac{\cos \left(k r-\frac{l \pi}{2}\right)}{k r}\right] P_{l}(\cos \theta)$$

  valid for $k r \gg 1$, where $A_{l}(k)$ and $B_{l}(k)$ are constants and $P_{l}$ denotes the $l$ th Legendre polynomial. Define the S-matrix element $S_{l}$ and the corresponding phase shift $\delta_{l}$ for the partial wave of angular momentum $l$, in terms of $A_{l}(k)$ and $B_{l}(k)$. Define also the scattering length $a_{s}$ for the potential $V$.

  Outside some core region, $r>r_{0}$, the Schrödinger equation for some such potential is solved by the s-wave (i.e. $l=0$ ) wavefunction $\psi(\mathbf{r})=\psi(r)$ with,

  $$\psi(r)=\frac{e^{-i k r}}{r}+\frac{k+i \lambda \tanh (\lambda r)}{k-i \lambda} \frac{e^{i k r}}{r}$$

  where $\lambda>0$ is a constant. Extract the S-matrix element $S_{0}$, the phase shift $\delta_{0}$ and the scattering length $a_{s}$. Deduce that the potential $V(r)$ has a bound state of zero angular momentum and compute its energy. Give the form of the (un-normalised) bound state wavefunction in the region $r>r_{0}$.

  comment

Applied Probability

• Paper 4, Section II, K

  Applied Probability | Part II, 2019

  (a) Let $\lambda: \mathbb{R}^{d} \rightarrow[0, \infty)$ be such that $\Lambda(A):=\int_{A} \lambda(\mathbf{x}) d \mathbf{x}$ is finite for any bounded measurable set $A \subseteq \mathbb{R}^{d}$. State the properties which define a (non-homogeneous) Poisson process $\Pi$ on $\mathbb{R}^{d}$ with intensity function $\lambda$.

  (b) Let $\Pi$ be a Poisson process on $\mathbb{R}^{d}$ with intensity function $\lambda$, and let $f: \mathbb{R}^{d} \rightarrow \mathbb{R}^{s}$ be a given function. Give a clear statement of the necessary conditions on the pair $\Lambda, f$ subject to which $f(\Pi)$ is a Poisson process on $\mathbb{R}^{s}$. When these conditions hold, express the mean measure of $f(\Pi)$ in terms of $\Lambda$ and $f$.

  (c) Let $\Pi$ be a homogeneous Poisson process on $\mathbb{R}^{2}$ with constant intensity 1 , and let $f: \mathbb{R}^{2} \rightarrow[0, \infty)$ be given by $f\left(x_{1}, x_{2}\right)=x_{1}^{2}+x_{2}^{2}$. Show that $f(\Pi)$ is a homogeneous Poisson process on $[0, \infty)$ with constant intensity $\pi$.

  Let $R_{1}, R_{2}, \ldots$ be an increasing sequence of positive random variables such that the points of $f(\Pi)$ are $R_{1}^{2}, R_{2}^{2}, \ldots$ Show that $R_{k}$ has density function

  $$h_{k}(r)=\frac{1}{(k-1) !} 2 \pi r\left(\pi r^{2}\right)^{k-1} e^{-\pi r^{2}}, \quad r>0$$

  comment

Asymptotic Methods

• Paper 4, Section II, A

  Asymptotic Methods | Part II, 2019

  Consider, for small $\epsilon$, the equation

  $$\epsilon^{2} \frac{d^{2} \psi}{d x^{2}}-q(x) \psi=0$$

  Assume that $(*)$ has bounded solutions with two turning points $a, b$ where $b>a, q^{\prime}(b)>0$ and $q^{\prime}(a)<0$.

  (a) Use the WKB approximation to derive the relationship

  $$\frac{1}{\epsilon} \int_{a}^{b}|q(\xi)|^{1 / 2} d \xi=\left(n+\frac{1}{2}\right) \pi \text { with } n=0,1,2, \cdots$$

  [You may quote without proof any standard results or formulae from WKB theory.]

  (b) In suitable units, the radial Schrödinger equation for a spherically symmetric potential given by $V(r)=-V_{0} / r$, for constant $V_{0}$, can be recast in the standard form $(*)$ as:

  $$\frac{\hbar^{2}}{2 m} \frac{d^{2} \psi}{d x^{2}}+e^{2 x}\left[\lambda-V\left(e^{x}\right)-\frac{\hbar^{2}}{2 m}\left(l+\frac{1}{2}\right)^{2} e^{-2 x}\right] \psi=0$$

  where $r=e^{x}$ and $\epsilon=\hbar / \sqrt{2 m}$ is a small parameter.

  Use result $(* *)$ to show that the energies of the bound states (i.e $\lambda=-|\lambda|<0)$ are approximated by the expression:

  $$E=-|\lambda|=-\frac{m}{2 \hbar^{2}} \frac{V_{0}^{2}}{(n+l+1)^{2}}$$

  [You may use the result

  $$\left.\int_{a}^{b} \frac{1}{r} \sqrt{(r-a)(b-r)} d r=(\pi / 2)[\sqrt{b}-\sqrt{a}]^{2} .\right]$$

  comment

Automata and Formal Languages

• Paper 4, Section I, $4 \mathrm{H}$

  Automata and Formal Languages | Part II, 2019

  (a) Which of the following are regular languages? Justify your answers.

  (i) $\left\{w^{n} \mid w \in\{a, b\}^{*}, n \geqslant 2\right\}$.

  (ii) $\left\{w \in\{a, b, c\}^{*} \mid w\right.$ contains an odd number of $b$ 's and an even number of $c$ 's $\}$.

  (iii) $\left\{w \in\{0,1\}^{*} \mid w\right.$ contains no more than 7 consecutive 0 's $\}$.

  (b) Consider the language $L$ over alphabet $\{a, b\}$ defined via

  $$L:=\left\{w a b^{n} \mid w \in\{a, b\}^{*}, n \in \mathbb{K}\right\} \cup\{b\}^{*}$$

  Show that $L$ satisfies the pumping lemma for regular languages but is not a regular language itself.

  comment

Classical Dynamics

• Paper 4, Section I, E

  Classical Dynamics | Part II, 2019

  (a) The angular momentum of a rigid body about its centre of mass is conserved.

  Derive Euler's equations,

  $$\begin{aligned} &I_{1} \dot{\omega}_{1}=\left(I_{2}-I_{3}\right) \omega_{2} \omega_{3} \\ &I_{2} \dot{\omega}_{2}=\left(I_{3}-I_{1}\right) \omega_{3} \omega_{1} \\ &I_{3} \dot{\omega}_{3}=\left(I_{1}-I_{2}\right) \omega_{1} \omega_{2} \end{aligned}$$

  explaining the meaning of the quantities appearing in the equations.

  (b) Show that there are two independent conserved quantities that are quadratic functions of $\boldsymbol{\omega}=\left(\omega_{1}, \omega_{2}, \omega_{3}\right)$, and give a physical interpretation of them.

  (c) Derive a linear approximation to Euler's equations that applies when $\left|\omega_{1}\right| \ll\left|\omega_{3}\right|$ and $\left|\omega_{2}\right| \ll\left|\omega_{3}\right|$. Use this to determine the stability of rotation about each of the three principal axes of an asymmetric top.

  comment

• Paper 4, Section II, E

  Classical Dynamics | Part II, 2019

  (a) Explain what is meant by a Lagrange top. You may assume that such a top has the Lagrangian

  $$L=\frac{1}{2} I_{1}\left(\dot{\theta}^{2}+\dot{\phi}^{2} \sin ^{2} \theta\right)+\frac{1}{2} I_{3}(\dot{\psi}+\dot{\phi} \cos \theta)^{2}-M g l \cos \theta$$

  in terms of the Euler angles $(\theta, \phi, \psi)$. State the meaning of the quantities $I_{1}, I_{3}, M$ and $l$ appearing in this expression.

  Explain why the quantity

  $$p_{\psi}=\frac{\partial L}{\partial \dot{\psi}}$$

  is conserved, and give two other independent integrals of motion.

  Show that steady precession, with a constant value of $\theta \in\left(0, \frac{\pi}{2}\right)$, is possible if

  $$p_{\psi}^{2} \geqslant 4 M g l I_{1} \cos \theta .$$

  (b) A rigid body of mass $M$ is of uniform density and its surface is defined by

  $$x_{1}^{2}+x_{2}^{2}=x_{3}^{2}-\frac{x_{3}^{3}}{h}$$

  where $h$ is a positive constant and $\left(x_{1}, x_{2}, x_{3}\right)$ are Cartesian coordinates in the body frame.

  Calculate the values of $I_{1}, I_{3}$ and $l$ for this symmetric top, when it rotates about the sharp point at the origin of this coordinate system.

  comment

Coding and Cryptography

• Paper 4, Section I, $3 G$

  Coding and Cryptography | Part II, 2019

  (a) Describe Diffie-Hellman key exchange. Why is it believed to be a secure system?

  (b) Consider the following authentication procedure. Alice chooses public key $N$ for the Rabin-Williams cryptosystem. To be sure we are in communication with Alice we send her a 'random item' $r \equiv m^{2} \bmod N$. On receiving $r$, Alice proceeds to decode using her knowledge of the factorisation of $N$ and finds a square root $m_{1}$ of $r$. She returns $m_{1}$ to us and we check $r \equiv m_{1}^{2} \bmod N$. Is this authentication procedure secure? Justify your answer.

  comment

Cosmology

• Paper 4, Section I, B

  Cosmology | Part II, 2019

  Derive the relation between the neutrino temperature $T_{\nu}$ and the photon temperature $T_{\gamma}$ at a time long after electrons and positrons have become non-relativistic.

  [In this question you may work in units of the speed of light, so that $c=1$. You may also use without derivation the following formulae. The energy density $\epsilon_{a}$ and pressure $P_{a}$ for a single relativistic species a with a number $g_{a}$ of degenerate states at temperature $T$ are given by

  $$\epsilon_{a}=\frac{4 \pi g_{a}}{h^{3}} \int \frac{p^{3} d p}{e^{p /\left(k_{B} T\right)} \mp 1}, \quad \quad P_{a}=\frac{4 \pi g_{a}}{3 h^{3}} \int \frac{p^{3} d p}{e^{p /\left(k_{B} T\right)} \mp 1},$$

  where $k_{B}$ is Boltzmann's constant, $h$ is Planck's constant, and the minus or plus depends on whether the particle is a boson or a fermion respectively. For each species a, the entropy density $s_{a}$ at temperature $T_{a}$ is given by,

  $$s_{a}=\frac{\epsilon_{a}+P_{a}}{k_{B} T_{a}} .$$

  The effective total number $g_{*}$ of relativistic species is defined in terms of the numbers of bosonic and fermionic particles in the theory as,

  $$g_{*}=\sum_{\text {bosons }} g_{\text {bosons }}+\frac{7}{8} \sum_{\text {fermions }} g_{\text {fermions }}$$

  with the specific values $g_{\gamma}=g_{e^{+}}=g_{e^{-}}=2$ for photons, positrons and electrons.]

  comment

Differential Geometry

• Paper 4, Section II, H

  Differential Geometry | Part II, 2019

  (a) Let $\gamma:(a, b) \rightarrow \mathbb{R}^{2}$ be a regular curve without self-intersection given by $\gamma(v)=(f(v), g(v))$ with $f(v)>0$ for $v \in(a, b)$ and let $S$ be the surface of revolution defined globally by the parametrisation

  $$\phi:(0,2 \pi) \times(a, b) \rightarrow \mathbb{R}^{3}$$

  where $\phi(u, v)=(f(v) \cos u, f(v) \sin u, g(v))$, i.e. $S=\phi((0,2 \pi) \times(a, b))$. Compute its mean curvature $H$ and its Gaussian curvature $K$.

  (b) Define what it means for a regular surface $S \subset \mathbb{R}^{3}$ to be minimal. Give an example of a minimal surface which is not locally isometric to a cone, cylinder or plane. Justify your answer.

  (c) Let $S$ be a regular surface such that $K \equiv 1$. Is it necessarily the case that given any $p \in S$, there exists an open neighbourhood $\mathcal{U} \subset S$ of $p$ such that $\mathcal{U}$ lies on some sphere in $\mathbb{R}^{3}$ ? Justify your answer.

  comment

Dynamical Systems

• Paper 4, Section II, E

  Dynamical Systems | Part II, 2019

  Consider the dynamical system

  $$\begin{aligned} &\dot{x}=x+y^{2}-a \\ &\dot{y}=y\left(4 x-x^{2}-a\right) \end{aligned}$$

  for $(x, y) \in \mathbb{R}^{2}, a \in \mathbb{R}$.

  Find all fixed points of this system. Find the three different values of $a$ at which bifurcations appear. For each such value give the location $(x, y)$ of all bifurcations. For each of these, what types of bifurcation are suggested from this analysis?

  Use centre manifold theory to analyse these bifurcations. In particular, for each bifurcation derive an equation for the dynamics on the extended centre manifold and hence classify the bifurcation.

  comment

Electrodynamics

• Paper 4, Section II, E

  Electrodynamics | Part II, 2019

  Consider a medium in which the electric displacement $\mathbf{D}(t, \mathbf{x})$ and magnetising field $\mathbf{H}(t, \mathbf{x})$ are linearly related to the electric and magnetic fields respectively with corresponding polarisation constants $\varepsilon$ and $\mu$;

  $$\mathbf{D}=\varepsilon \mathbf{E}, \quad \mathbf{B}=\mu \mathbf{H} .$$

  Write down Maxwell's equations for $\mathbf{E}, \mathbf{B}, \mathbf{D}$ and $\mathbf{H}$ in the absence of free charges and currents.

  Consider EM waves of the form,

  $$\begin{aligned} &\mathbf{E}(t, \mathbf{x})=\mathbf{E}_{0} \sin (\mathbf{k} \cdot \mathbf{x}-\omega t) \\ &\mathbf{B}(t, \mathbf{x})=\mathbf{B}_{0} \sin (\mathbf{k} \cdot \mathbf{x}-\omega t) \end{aligned}$$

  Find conditions on the electric and magnetic polarisation vectors $\mathbf{E}_{0}$ and $\mathbf{B}_{0}$, wave-vector $\mathbf{k}$ and angular frequency $\omega$ such that these fields satisfy Maxwell's equations for the medium described above. At what speed do the waves propagate?

  Consider two media, filling the regions $x<0$ and $x>0$ in three dimensional space, and having two different values $\varepsilon_{-}$and $\varepsilon_{+}$of the electric polarisation constant. Suppose an electromagnetic wave is incident from the region $x<0$ resulting in a transmitted wave in the region $x>0$ and also a reflected wave for $x<0$. The angles of incidence, reflection and transmission are denoted $\theta_{I}, \theta_{R}$ and $\theta_{T}$ respectively. By constructing a corresponding solution of Maxwell's equations, derive the law of reflection $\theta_{I}=\theta_{R}$ and Snell's law of refraction, $n_{-} \sin \theta_{I}=n_{+} \sin \theta_{T}$ where $n_{\pm}=c \sqrt{\varepsilon_{\pm} \mu}$ are the indices of refraction of the two media.

  Consider the special case in which the electric polarisation vectors $\mathbf{E}_{I}, \mathbf{E}_{R}$ and $\mathbf{E}_{T}$ of the incident, reflected and transmitted waves are all normal to the plane of incidence (i.e. the plane containing the corresponding wave-vectors). By imposing appropriate boundary conditions for $\mathbf{E}$ and $\mathbf{H}$ at $x=0$, show that,

  $$\frac{\left|\mathbf{E}_{R}\right|}{\left|\mathbf{E}_{T}\right|}=\frac{1}{2}\left(1-\frac{\tan \theta_{R}}{\tan \theta_{T}}\right)$$

  comment

Fluid Dynamics II

• Paper 4, Section II, A

  Fluid Dynamics II | Part II, 2019

  (a) Show that the Stokes flow around a rigid moving sphere has the minimum viscous dissipation rate of all incompressible flows which satisfy the no-slip boundary conditions on the sphere.

  (b) Let $\boldsymbol{u}=\boldsymbol{\nabla}(\boldsymbol{x} \cdot \boldsymbol{\Phi}+\chi)-2 \boldsymbol{\Phi}$, where $\boldsymbol{\Phi}$ and $\chi$ are solutions of Laplace's equation, i.e. $\nabla^{2} \boldsymbol{\Phi}=\mathbf{0}$ and $\nabla^{2} \chi=0$.

  (i) Show that $\boldsymbol{u}$ is incompressible.

  (ii) Show that $\boldsymbol{u}$ satisfies Stokes equation if the pressure $p=2 \mu \boldsymbol{\nabla} \cdot \boldsymbol{\Phi}$.

  (c) Consider a rigid sphere moving with velocity $\boldsymbol{U}$. The Stokes flow around the sphere is given by

  $$\boldsymbol{\Phi}=\alpha \frac{\boldsymbol{U}}{r} \quad \text { and } \quad \chi=\beta \boldsymbol{U} \cdot \boldsymbol{\nabla}\left(\frac{1}{r}\right)$$

  where the origin is chosen to be at the centre of the sphere. Find the values for $\alpha$ and $\beta$ which ensure no-slip conditions are satisfied on the sphere.

  comment

Further Complex Methods

• Paper 4, Section I, A

  Further Complex Methods | Part II, 2019

  A single-valued function $\operatorname{Arcsin}(z)$ can be defined, for $0 \leqslant \arg z<2 \pi$, by means of an integral as:

  $$\operatorname{Arcsin}(z)=\int_{0}^{z} \frac{d t}{\left(1-t^{2}\right)^{1 / 2}}$$

  (a) Choose a suitable branch-cut with the integrand taking a value $+1$ at the origin on the upper side of the cut, i.e. at $t=0^{+}$, and describe suitable paths of integration in the two cases $0 \leqslant \arg z \leqslant \pi$ and $\pi<\arg z<2 \pi$.

  (b) Construct the multivalued function $\arcsin (z)$ by analytic continuation.

  (c) Express arcsin $\left(e^{2 \pi i} z\right)$ in terms of $\operatorname{Arcsin}(z)$ and deduce the periodicity property of $\sin (z)$.

  comment

Galois Theory

• Paper 4, Section II, $18 \mathrm{~F}$

  Galois Theory | Part II, 2019

  State (without proof) a result concerning uniqueness of splitting fields of a polynomial.

  Given a polynomial $f \in \mathbb{Q}[X]$ with distinct roots, what is meant by its Galois group $\operatorname{Gal}_{\mathbb{Q}}(f)$ ? Show that $f$ is irreducible over $\mathbb{Q}$ if and only if $\mathrm{Gal}_{\mathbb{Q}}(f)$ acts transitively on the roots of $f$.

  Now consider an irreducible quartic of the form $g(X)=X^{4}+b X^{2}+c \in \mathbb{Q}[X]$. If $\alpha \in \mathbb{C}$ denotes a root of $g$, show that the splitting field $K \subset \mathbb{C}$ is $\mathbb{Q}(\alpha, \sqrt{c})$. Give an explicit description of $\operatorname{Gal}(K / \mathbb{Q})$ in the cases:

  (i) $\sqrt{c} \in \mathbb{Q}(\alpha)$, and

  (ii) $\sqrt{c} \notin \mathbb{Q}(\alpha)$.

  If $c$ is a square in $\mathbb{Q}$, deduce that $\operatorname{Gal}_{\mathbb{Q}}(g) \cong C_{2} \times C_{2}$. Conversely, if Gal $_{\mathbb{Q}}(g) \cong$ $C_{2} \times C_{2}$, show that $\sqrt{c}$ is invariant under at least two elements of order two in the Galois group, and deduce that $c$ is a square in $\mathbb{Q}$.

  comment

General Relativity

• Paper 4, Section II, D

  General Relativity | Part II, 2019

  (a) Consider the spherically symmetric spacetime metric

  $$\tag{†} d s^{2}=-\lambda^{2} d t^{2}+\mu^{2} d r^{2}+r^{2} d \theta^{2}+r^{2} \sin ^{2} \theta d \phi^{2},$$

  where $\lambda$ and $\mu$ are functions of $t$ and $r$. Use the Euler-Lagrange equations for the geodesics of the spacetime to compute all non-vanishing Christoffel symbols for this metric.

  (b) Consider the static limit of the line element $(†)$ where $\lambda$ and $\mu$ are functions of the radius $r$ only, and let the matter coupled to gravity be a spherically symmetric fluid with energy momentum tensor

  $$T^{\mu \nu}=(\rho+P) u^{\mu} u^{\nu}+P g^{\mu \nu}, \quad u^{\mu}=\left[\lambda^{-1}, 0,0,0\right]$$

  where the pressure $P$ and energy density $\rho$ are also functions of the radius $r$. For these Tolman-Oppenheimer-Volkoff stellar models, the Einstein and matter equations $G_{\mu \nu}=8 \pi T_{\mu \nu}$ and $\nabla_{\mu} T_{\nu}^{\mu}=0$ reduce to

  $$\begin{aligned} \frac{\partial_{r} \lambda}{\lambda} &=\frac{\mu^{2}-1}{2 r}+4 \pi r \mu^{2} P \\ \partial_{r} m &=4 \pi r^{2} \rho, \quad \text { where } \quad m(r)=\frac{r}{2}\left(1-\frac{1}{\mu^{2}}\right) \\ \partial_{r} P &=-(\rho+P)\left(\frac{\mu^{2}-1}{2 r}+4 \pi r \mu^{2} P\right) \end{aligned}$$

  Consider now a constant density solution to the above Einstein and matter equations, where $\rho$ takes the non-zero constant value $\rho_{0}$ out to a radius $R$ and $\rho=0$ for $r>R$. Show that for such a star,

  $$\partial_{r} P=\frac{4 \pi r}{1-\frac{8}{3} \pi \rho_{0} r^{2}}\left(P+\frac{1}{3} \rho_{0}\right)\left(P+\rho_{0}\right)$$

  and that the pressure at the centre of the star is

  $$P(0)=-\rho_{0} \frac{1-\sqrt{1-2 M / R}}{3 \sqrt{1-2 M / R}-1}, \quad \text { with } \quad M=\frac{4}{3} \pi \rho_{0} R^{3}$$

  Show that $P(0)$ diverges if $M=4 R / 9 . \quad$ [Hint: at the surface of the star the pressure vanishes: $P(R)=0 .]$

  comment

Graph Theory

• Paper 4, Section II, G

  Graph Theory | Part II, 2019

  State and prove Hall's theorem.

  Let $n$ be an even positive integer. Let $X=\{A: A \subset[n]\}$ be the power set of $[n]=\{1,2, \ldots, n\}$. For $1 \leqslant i \leqslant n$, let $X_{i}=\{A \in X:|A|=i\}$. Let $Q$ be the graph with vertex set $X$ where $A, B \in X$ are adjacent if and only if $|A \triangle B|=1$. [Here, $A \triangle B$ denotes the symmetric difference of $A$ and $B$, given by $A \triangle B:=(A \cup B) \backslash(A \cap B) .]$

  Let $1 \leqslant i \leqslant \frac{n}{2}$. Why is the induced subgraph $Q\left[X_{i} \cup X_{i-1}\right]$ bipartite? Show that it contains a matching from $X_{i-1}$ to $X_{i}$.

  A chain in $X$ is a subset $\mathcal{C} \subset X$ such that whenever $A, B \in \mathcal{C}$ we have $A \subset B$ or $B \subset A$. What is the least positive integer $k$ such that $X$ can be partitioned into $k$ pairwise disjoint chains? Justify your answer.

  comment

Linear Analysis

• Paper 4, Section II, H

  Linear Analysis | Part II, 2019

  (a) State and prove the Riesz representation theorem for a real Hilbert space $H$.

  [You may use that if $H$ is a real Hilbert space and $Y \subset H$ is a closed subspace, then $\left.H=Y \oplus Y_{.}^{\perp} .\right]$

  (b) Let $H$ be a real Hilbert space and $T: H \rightarrow H$ a bounded linear operator. Show that $T$ is invertible if and only if both $T$ and $T^{*}$ are bounded below. [Recall that an operator $S: H \rightarrow H$ is bounded below if there is $c>0$ such that $\|S x\| \geqslant c\|x\|$ for all $x \in H$.]

  (c) Consider the complex Hilbert space of two-sided sequences,

  $$X=\left\{\left(x_{n}\right)_{n \in \mathbb{Z}}: x_{n} \in \mathbb{C}, \sum_{n \in \mathbb{Z}}\left|x_{n}\right|^{2}<\infty\right\}$$

  with norm $\|x\|=\left(\sum_{n}\left|x_{n}\right|^{2}\right)^{1 / 2}$. Define $T: X \rightarrow X$ by $(T x)_{n}=x_{n+1}$. Show that $T$ is unitary and find the point spectrum and the approximate point spectrum of $T$.

  comment

Logic and Set Theory

• Paper 4, Section II, I

  Logic and Set Theory | Part II, 2019

  Define the cardinals $\aleph_{\alpha}$, and explain briefly why every infinite set has cardinality $\operatorname{an} \aleph_{\alpha} .$

  Show that if $\kappa$ is an infinite cardinal then $\kappa^{2}=\kappa$.

  Let $X_{1}, X_{2}, \ldots, X_{n}$ be infinite sets. Show that $X_{1} \cup X_{2} \cup \cdots \cup X_{n}$ must have the same cardinality as $X_{i}$ for some $i$.

  Let $X_{1}, X_{2}, \ldots$ be infinite sets, no two of the same cardinality. Is it possible that $X_{1} \cup X_{2} \cup \ldots$ has the same cardinality as some $X_{i}$ ? Justify your answer.

  comment

Mathematical Biology

• Paper 4, Section I, C

  Mathematical Biology | Part II, 2019

  (a) A variant of the classic logistic population model is given by:

  $$\frac{d x(t)}{d t}=\alpha\left[x(t)-x(t-T)^{2}\right]$$

  where $\alpha, T>0$.

  Show that for small $T$, the constant solution $x(t)=1$ is stable.

  Allow $T$ to increase. Express in terms of $\alpha$ the value of $T$ at which the constant solution $x(t)=1$ loses stability.

  (b) Another variant of the logistic model is given by this equation:

  $$\frac{d x(t)}{d t}=\alpha x(t-T)[1-x(t)]$$

  where $\alpha, T>0$. When is the constant solution $x(t)=1$ stable for this model?

  comment

• Paper 4, Section II, C

  Mathematical Biology | Part II, 2019

  A model of an infectious disease in a plant population is given by

  $$\begin{aligned} \dot{S} &=(S+I)-(S+I) S-\beta I S \\ \dot{I} &=-(S+I) I+\beta I S \end{aligned}$$

  where $S(t)$ is the density of healthy plants and $I(t)$ is the density of diseased plants at time $t$ and $\beta$ is a positive constant.

  (a) Give an interpretation of what each of the terms in equations (1) and (2) represents in terms of the dynamics of the plants. What does the coefficient $\beta$ represent? What can you deduce from the equations about the effect of the disease on the plants?

  (b) By finding all fixed points for $S \geqslant 0$ and $I \geqslant 0$ and analysing their stability, explain what will happen to a healthy plant population if the disease is introduced. Sketch the phase diagram, treating the cases $\beta<1$ and $\beta>1$ separately.

  (c) Define new variables $N(t)$ for the total plant population density and $\theta(t)$ for the proportion of the population that is diseased. Starting from equations (1) and (2) above, derive equations for $\dot{N}$ and $\dot{\theta}$ purely in terms of $N, \theta$ and $\beta$. Without carrying out a full fixed point analysis, explain how this system can be used directly to show the same results you had in part (b). [Hint: start by considering the dynamics of $N(t)$ alone.]

  (d) Suppose now that in an attempt to control disease, plants are culled at a rate $k$ per capita, independently of whether the plants are healthy or diseased. Write down the modified versions of equations (1) and (2). Use these to build updated equations for $\dot{N}$ and $\dot{\theta}$. Without carrying out a detailed fixed point analysis, what can you deduce about the effect of culling? Give the range of $k$ for which culling can effectively control the disease.

  comment

Number Fields

• Paper 4, Section II, 20G

  Number Fields | Part II, 2019

  (a) Let $L$ be a number field, and suppose there exists $\alpha \in \mathcal{O}_{L}$ such that $\mathcal{O}_{L}=\mathbb{Z}[\alpha]$. Let $f(X) \in \mathbb{Z}[X]$ denote the minimal polynomial of $\alpha$, and let $p$ be a prime. Let $\bar{f}(X) \in(\mathbb{Z} / p \mathbb{Z})[X]$ denote the reduction modulo $p$ of $f(X)$, and let

  $$\bar{f}(X)=\bar{g}_{1}(X)^{e_{1}} \cdots \bar{g}_{r}(X)^{e_{r}}$$

  denote the factorisation of $\bar{f}(X)$ in $(\mathbb{Z} / p \mathbb{Z})[X]$ as a product of powers of distinct monic irreducible polynomials $\bar{g}_{1}(X), \ldots, \bar{g}_{r}(X)$, where $e_{1}, \ldots, e_{r}$ are all positive integers.

  For each $i=1, \ldots, r$, let $g_{i}(X) \in \mathbb{Z}[X]$ be any polynomial with reduction modulo $p$ equal to $\bar{g}_{i}(X)$, and let $P_{i}=\left(p, g_{i}(\alpha)\right) \subset \mathcal{O}_{L}$. Show that $P_{1}, \ldots, P_{r}$ are distinct, non-zero prime ideals of $\mathcal{O}_{L}$, and that there is a factorisation

  $$p \mathcal{O}_{L}=P_{1}^{e_{1}} \cdots P_{r}^{e_{r}}$$

  and that $N\left(P_{i}\right)=p^{\operatorname{deg} \bar{g}_{i}(X)}$.

  (b) Let $K$ be a number field of degree $n=[K: \mathbb{Q}]$, and let $p$ be a prime. Suppose that there is a factorisation

  $$p \mathcal{O}_{K}=Q_{1} \cdots Q_{s}$$

  where $Q_{1}, \ldots, Q_{s}$ are distinct, non-zero prime ideals of $\mathcal{O}_{K}$ with $N\left(Q_{i}\right)=p$ for each $i=$ $1, \ldots, s$. Use the result of part (a) to show that if $n>p$ then there is no $\alpha \in \mathcal{O}_{K}$ such that $\mathcal{O}_{K}=\mathbb{Z}[\alpha]$.

  comment

Number Theory

• Paper 4, Section I, I

  Number Theory | Part II, 2019

  Show that the product

  $$\prod_{p \text { prime }}\left(1-\frac{1}{p}\right)^{-1}$$

  and the series

  $$\sum_{p \text { prime }} \frac{1}{p}$$

  are both divergent.

  comment

• Paper 4, Section II, I

  Number Theory | Part II, 2019

  (a) Let $a_{0}, a_{1}, \ldots$ be positive integers, and $\beta>0$ a positive real number. Show that for every $n \geqslant 0$, if $\theta_{n}=\left[a_{0}, \ldots, a_{n}, \beta\right]$, then $\theta_{n}=\left(\beta p_{n}+p_{n-1}\right) /\left(\beta q_{n}+q_{n-1}\right)$, where $\left(p_{n}\right)$, $\left(q_{n}\right)(n \geqslant-1)$ are sequences of integers satisfying

  $$\begin{aligned} &p_{0}=a_{0}, q_{0}=1, \quad p_{-1}=1, \quad q_{-1}=0 \quad \text { and } \\ &\left(\begin{array}{cc} p_{n} & p_{n-1} \\ q_{n} & q_{n-1} \end{array}\right)=\left(\begin{array}{cc} p_{n-1} & p_{n-2} \\ q_{n-1} & q_{n-2} \end{array}\right)\left(\begin{array}{cc} a_{n} & 1 \\ 1 & 0 \end{array}\right) \quad(n \geqslant 1) \end{aligned}$$

  Show that $p_{n} q_{n-1}-p_{n-1} q_{n}=(-1)^{n-1}$, and that $\theta_{n}$ lies between $p_{n} / q_{n}$ and $p_{n-1} / q_{n-1}$.

  (b) Show that if $\left[a_{0}, a_{1}, \ldots\right]$ is the continued fraction expansion of a positive irrational $\theta$, then $p_{n} / q_{n} \rightarrow \theta$ as $n \rightarrow \infty$.

  (c) Let the convergents of the continued fraction $\left[a_{0}, a_{1}, \ldots, a_{n}\right]$ be $p_{j} / q_{j}(0 \leqslant$ $j \leqslant n)$. Using part (a) or otherwise, show that the $n$-th and $(n-1)$-th convergents of $\left[a_{n}, a_{n-1}, \ldots, a_{0}\right]$ are $p_{n} / p_{n-1}$ and $q_{n} / q_{n-1}$ respectively.

  (d) Show that if $\theta=\left[\overline{a_{0}, a_{1}, \ldots, a_{n}}\right]$ is a purely periodic continued fraction with convergents $p_{j} / q_{j}$, then $f(\theta)=0$, where $f(X)=q_{n} X^{2}+\left(q_{n-1}-p_{n}\right) X-p_{n-1}$. Deduce that if $\theta^{\prime}$ is the other root of $f(X)$, then $-1 / \theta^{\prime}=\left[\overline{a_{n}, a_{n-1}, \ldots, a_{0}}\right]$.

  comment

Numerical Analysis

• Paper 4, Section II, C

  Numerical Analysis | Part II, 2019

  For a 2-periodic analytic function $f$, its Fourier expansion is given by the formula

  $$f(x)=\sum_{n=-\infty}^{\infty} \widehat{f}_{n} e^{i \pi n x}, \quad \widehat{f}_{n}=\frac{1}{2} \int_{-1}^{1} f(t) e^{-i \pi n t} d t$$

  (a) Consider the two-point boundary value problem

  $$-\frac{1}{\pi^{2}}(1+2 \cos \pi x) u^{\prime \prime}+u=1+\sum_{n=1}^{\infty} \frac{2}{n^{2}+1} \cos \pi n x, \quad-1 \leqslant x \leqslant 1,$$

  with periodic boundary conditions $u(-1)=u(1)$. Construct explicitly the infinite dimensional linear algebraic system that arises from the application of the Fourier spectral method to the above equation, and explain how to truncate the system to a finitedimensional one.

  (b) A rectangle rule is applied to computing the integral of a 2-periodic analytic function $h$ :

  $$\int_{-1}^{1} h(t) d t \approx \frac{2}{N} \sum_{k=-N / 2+1}^{N / 2} h\left(\frac{2 k}{N}\right)$$

  Find an expression for the error $e_{N}(h):=\mathrm{LHS}-\mathrm{RHS}$ of $(*)$, in terms of $\widehat{h}_{n}$, and show that $e_{N}(h)$ has a spectral rate of decay as $N \rightarrow \infty$. [In the last part, you may quote a relevant theorem about $\widehat{h}_{n}$.]

  comment

Principles of Quantum Mechanics

• Paper 4, Section II, B

  Principles of Quantum Mechanics | Part II, 2019

  Define the spin raising and spin lowering operators $S_{+}$and $S_{-}$. Show that

  $$S_{\pm}|s, \sigma\rangle=\hbar \sqrt{s(s+1)-\sigma(\sigma \pm 1)}|s, \sigma \pm 1\rangle,$$

  where $S_{z}|s, \sigma\rangle=\hbar \sigma|s, \sigma\rangle$ and $S^{2}|s, \sigma\rangle=s(s+1) \hbar^{2}|s, \sigma\rangle$.

  Two spin- $\frac{1}{2}$ particles, with spin operators $\mathbf{S}^{(1)}$ and $\mathbf{S}^{(2)}$, have a Hamiltonian

  $$H=\alpha \mathbf{S}^{(1)} \cdot \mathbf{S}^{(2)}+\mathbf{B} \cdot\left(\mathbf{S}^{(1)}-\mathbf{S}^{(2)}\right)$$

  where $\alpha$ and $\mathbf{B}=(0,0, B)$ are constants. Express $H$ in terms of the two particles' spin raising and spin lowering operators $S_{\pm}^{(1)}, S_{\pm}^{(2)}$ and the corresponding $z$-components $S_{z}^{(1)}$, $S_{z}^{(2)}$. Hence find the eigenvalues of $H$. Show that there is a unique groundstate in the limit $B \rightarrow 0$ and that the first excited state is triply degenerate in this limit. Explain this degeneracy by considering the action of the combined spin operator $\mathbf{S}^{(1)}+\mathbf{S}^{(2)}$ on the energy eigenstates.

  comment

Principles of Statistics

• Paper 4, Section II, J

  Principles of Statistics | Part II, 2019

  We consider a statistical model $\{f(\cdot, \theta): \theta \in \Theta\}$.

  (a) Define the maximum likelihood estimator (MLE) and the Fisher information $I(\theta) .$

  (b) Let $\Theta=\mathbb{R}$ and assume there exist a continuous one-to-one function $\mu: \mathbb{R} \rightarrow \mathbb{R}$ and a real-valued function $h$ such that

  $$\mathbb{E}_{\theta}[h(X)]=\mu(\theta) \quad \forall \theta \in \mathbb{R}$$

  (i) For $X_{1}, \ldots, X_{n}$ i.i.d. from the model for some $\theta_{0} \in \mathbb{R}$, give the limit in almost sure sense of

  $$\hat{\mu}_{n}=\frac{1}{n} \sum_{i=1}^{n} h\left(X_{i}\right)$$

  Give a consistent estimator $\hat{\theta}_{n}$ of $\theta_{0}$ in terms of $\hat{\mu}_{n}$.

  (ii) Assume further that $\mathbb{E}_{\theta_{0}}\left[h(X)^{2}\right]<\infty$ and that $\mu$ is continuously differentiable and strictly monotone. What is the limit in distribution of $\sqrt{n}\left(\hat{\theta}_{n}-\theta_{0}\right)$. Assume too that the statistical model satisfies the usual regularity assumptions. Do you necessarily expect $\operatorname{Var}\left(\hat{\theta}_{n}\right) \geqslant\left(n I\left(\theta_{0}\right)\right)^{-1}$ for all $n$ ? Why?

  (iii) Propose an alternative estimator for $\theta_{0}$ with smaller bias than $\hat{\theta}_{n}$ if $B_{n}\left(\theta_{0}\right)=$ $\mathbb{E}_{\theta_{0}}\left[\hat{\theta}_{n}\right]-\theta_{0}=\frac{a}{n}+\frac{b}{n^{2}}+O\left(\frac{1}{n^{3}}\right)$ for some $a, b \in \mathbb{R}$ with $a \neq 0$.

  (iv) Further to all the assumptions in iii), assume that the MLE for $\theta_{0}$ is of the form

  $$\hat{\theta}_{M L E}=\frac{1}{n} \sum_{i=1}^{n} h\left(X_{i}\right)$$

  What is the link between the Fisher information at $\theta_{0}$ and the variance of $h(X)$ ? What does this mean in terms of the precision of the estimator and why?

  [You may use results from the course, provided you state them clearly.]

  comment

Probability and Measure

• Paper 4, Section II, K

  Probability and Measure | Part II, 2019

  (a) Let $\left(X_{n}\right)_{n \geqslant 1}$ and $X$ be real random variables with finite second moment on a probability space $(\Omega, \mathcal{F}, \mathbb{P})$. Assume that $X_{n}$ converges to $X$ almost surely. Show that the following assertions are equivalent:

  (i) $X_{n} \rightarrow X$ in $\mathbf{L}^{2}$ as $n \rightarrow \infty$

  (ii) $\mathbb{E}\left(X_{n}^{2}\right) \rightarrow \mathbb{E}\left(X^{2}\right)$ as $n \rightarrow \infty$.

  (b) Suppose now that $\Omega=(0,1), \mathcal{F}$ is the Borel $\sigma$-algebra of $(0,1)$ and $\mathbb{P}$ is Lebesgue measure. Given a Borel probability measure $\mu$ on $\mathbb{R}$ we set

  $$X_{\mu}(\omega)=\inf \left\{x \in \mathbb{R} \mid F_{\mu}(x) \geqslant \omega\right\}$$

  where $F_{\mu}(x):=\mu((-\infty, x])$ is the distribution function of $\mu$ and $\omega \in \Omega$.

  (i) Show that $X_{\mu}$ is a random variable on $(\Omega, \mathcal{F}, \mathbb{P})$ with law $\mu$.

  (ii) Let $\left(\mu_{n}\right)_{n \geqslant 1}$ and $\nu$ be Borel probability measures on $\mathbb{R}$ with finite second moments. Show that

  $$\mathbb{E}\left(\left(X_{\mu_{n}}-X_{\nu}\right)^{2}\right) \rightarrow 0 \text { as } n \rightarrow \infty$$

  if and only if $\mu_{n}$ converges weakly to $\nu$ and $\int x^{2} d \mu_{n}(x)$ converges to $\int x^{2} d \nu(x)$ as $n \rightarrow \infty$

  [You may use any theorem proven in lectures as long as it is clearly stated. Furthermore, you may use without proof the fact that $\mu_{n}$ converges weakly to $\nu$ as $n \rightarrow \infty$ if and only if $X_{\mu_{n}}$ converges to $X_{\nu}$ almost surely.]

  comment

Quantum Information and Computation

• Paper 4, Section I, $10 D$

  Quantum Information and Computation | Part II, 2019

  (a) Define the order of $\alpha \bmod N$ for coprime integers $\alpha$ and $N$ with $\alpha<N$. Explain briefly how knowledge of this order can be used to provide a factor of $N$, stating conditions on $\alpha$ and its order that must be satisfied.

  (b) Shor's algorithm for factoring $N$ starts by choosing $\alpha<N$ coprime. Describe the subsequent steps of a single run of Shor's algorithm that computes the order of $\alpha$ mod $N$ with probability $O(1 / \log \log N)$.

  [Any significant theorems that you invoke to justify the algorithm should be clearly stated (but proofs are not required). In addition you may use without proof the following two technical results.

  Theorem $F T$ : For positive integers $t$ and $M$ with $M \geqslant t^{2}$, and any $0 \leqslant x_{0}<t$, let $K$ be the largest integer such that $x_{0}+(K-1) t<M .$ Let QFT denote the quantum Fourier transform $\bmod M$. Suppose we measure $Q F T\left(\frac{1}{\sqrt{K}} \sum_{k=0}^{K-1}\left|x_{0}+k t\right\rangle\right)$ to obtain an integer $c$ with $0 \leqslant c<M .$ Then with probability $O(1 / \log \log t), c$ will be an integer closest to a multiple $j(M / t)$ of $M / t$ for which the value of $j$ (between 0 and $t$ ) is coprime to $t$.

  Theorem CF: For any rational number $a / b$ with $0<a / b<1$ and with integers a and $b$ having at most $n$ digits each, let $p / q$ with $p$ and $q$ coprime, be any rational number satisfying

  $$\left|\frac{a}{b}-\frac{p}{q}\right| \leqslant \frac{1}{2 q^{2}} .$$

  Then $p / q$ is one of the $O(n)$ convergents of the continued fraction of $a / b$ and all the convergents can be classically computed from $a / b$ in time $O\left(n^{3}\right)$.]

  comment

Representation Theory

• Paper 4, Section II, I

  Representation Theory | Part II, 2019

  (a) What is meant by a compact topological group? Explain why $\mathrm{SU}(n)$ is an example of such a group.

  [In the following the existence of a Haar measure for any compact Hausdorff topological group may be assumed, if required.]

  (b) Let $G$ be any compact Hausdorff topological group. Show that there is a continuous group homomorphism $\rho: G \rightarrow \mathrm{O}(n)$ if and only if $G$ has an $n$-dimensional representation over $\mathbb{R}$. [Here $\mathrm{O}(n)$ denotes the subgroup of ${\mathrm{G}\mathrm{L}}_{}$