Consider the following subset of {}. Which one of the following statements is true?
CSIR NET December 2023 — Part B
All 37 Part B questions we have transcribed from this paper, of the 96 on the site for this sitting — every option and the answer key, with the reasoning for each one.
Part B
One correct option. 3 marks, −0.75 for a wrong answer.
Q1openSequences: convergence, monotone, Bolzano–Weierstrass, Cauchy
- A.inf U = 5.
- B.inf U = 4.
- C.inf U = 3.✓
- D.inf U = 2.
Solution
x2−9x+18≤0⇔x∈[3,6];x2−7x+12≤0⇔x∈[3,4]. So U = [3, 4] and inf U = 3.
Q2Limit assumed to existlimsup, liminf and subsequential limits
Consider the sequence (an)n≥1, where an=cos((−1)nnπ/2+nπ/3). Which one of the following statements is true?
- A.limsupan=3/2.
- B.limsupa2n=1.✓
- C.limsupa2n=1/2.
- D.limsupa3n=0.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q3openSeries: comparison, ratio, root, Raabe, condensation, alternating, rearrangements
Consider the following infinite series: (a)∑n≥1 sin(nπ/2)/n,(b)∑n≥1 log(1+1/n2). Which one of the following statements is true?
- A.(a) is convergent, but (b) is not convergent.
- B.(a) is not convergent, but (b) is convergent.
- C.Both (a) and (b) are convergent.✓
- D.Neither (a) nor (b) is convergent.
Solution
(a): the non-zero terms are (−1)k/2k+1, an alternating series with terms decreasing to 0 (Leibniz).(b):log(1+1/n2) ~ 1/n2, comparison with a convergent p-series.
Q4Execution slipDifferentiability, mean value theorems, Taylor, L'Hôpital
Let f(x) be a cubic polynomial with real coefficients. Suppose that f(x) has exactly one real root and that this root is simple. Which one of the following statements holds for ALL antiderivatives F(x) of f(x)?
- A.F(x) has exactly one real root.
- B.F(x) has exactly four real roots.
- C.F(x) has at most two real roots.✓
- D.F(x) has at most one real root.
Solution
F′ = f changes sign exactly once, so F is monotone on each side of one point: at most two real roots (and the constant of integration can realise 0, 1 or 2).
Q5openDifferentiability, mean value theorems, Taylor, L'Hôpital
Let f:R→R be a differentiable function such that f and its derivative f′ have no common zeros in [0, 1]. Which one of the following statements is true?
- A.f never vanishes in [0, 1].
- B.f has at most finitely many zeros in [0, 1].✓
- C.f has infinitely many zeros in [0, 1].
- D.f(1/2) = 0.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q6Execution slipDifferentiability, mean value theorems, Taylor, L'Hôpital
Let f:R→R be defined by f(x)=(1−x)2sin(x2) for x ∈ (0, 1) and f(x) = 0 otherwise, and let f′ be its derivative. Let S = {c∈R:f′(x)≤cf(x) for all x∈R}. Which one of the following is true?
- A.S = ∅✓
- B.S ≠ ∅ and S is a proper subset of (1,∞)
- C.(2,∞) is a proper subset of S
- D.S ∩ (0, 1) ≠ ∅
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q7openMeasurable sets and functions
Let X be a non-empty finite set and Y = {f−1(0) : f is a real-valued function on X}. Which one of the following statements is true?
- A.Y is an infinite set.
- B.Y has 2∣X∣ elements.✓
- C.There is a bijective function from X to Y.
- D.There is a surjective function from X to Y.
Solution
Every subset of X is the zero set of its indicator-complement (f = 1 off the subset, 0 on it), so Y is the power set of X, with 2∣X∣ > |X| elements.
Q8Execution slipLinear transformations, matrix representation, change of basis
Let A be an n × n matrix with complex entries. If n ≥ 4, which one of the following statements is true?
- A.A does not have any non-zero invariant subspace in Cn.
- B.A has an invariant subspace in Cn of dimension n − 3.✓
- C.All eigenvalues of A are real.
- D.A2 does not have any invariant subspace in Cn of dimension n − 1.
Solution
Over C every matrix is triangularisable (Schur), so the span of the first k basis vectors of a triangularising basis is an invariant subspace of every dimension k — in particular n − 3 ≥ 1.
Q9Converse assumedLinear transformations, matrix representation, change of basis
Which one of the following statements is FALSE?
- A.The product of two 2×2 real matrices of rank 2 is of rank 2.
- B.The product of two 3×3 real matrices of rank 2 is of rank at most 2.
- C.The product of two 3×3 real matrices of rank 2 is of rank at least 2.✓
- D.The product of two 2×2 real matrices of rank 1 can be the zero matrix.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q10Finite-dimensional intuitionLinear transformations, matrix representation, change of basis
Let In denote the n × n identity matrix. Which one of the following statements is true?
- A.If A is a real 3×2 matrix and B a real 2×3 matrix with BA =I2, then AB =I3.
- B.Let A = [[3, 3], [1, 2]]. Then there is a matrix B with integer entries such that AB =I2.
- C.Let A = [[3, 1], [1, 2]] with entries in Z/6Z. Then there is a matrix B with entries in Z/6Z such that AB =I2.✓
- D.If A is a real non-zero 3×3 diagonal matrix, then there is a real matrix B such that AB =I3.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q11Execution slipEigenvalues, characteristic & minimal polynomials, Cayley–Hamilton
Let A=(aij) be the n × n real matrix with aij= ij for all 1 ≤ i, j ≤ n. If n ≥ 3, which one of the following is an eigenvalue of A?
- A.1
- B.n
- C.n(n+1)/2
- D.n(n+1)(2n+1)/6✓
Solution
A = vvᵀ with v = (1, 2, …, n) has rank 1; its only non-zero eigenvalue is vTv=∑i2=n(n+1)(2n+1)/6.
Q12Converse assumedQuadratic forms, positive definiteness, Sylvester's law
Let (−, −) be a symmetric bilinear form on R2 such that there exist nonzero v,w∈R2 with (v, v) > 0 > (w, w) and (v, w) = 0. Let A be the 2×2 real symmetric matrix representing this form in the standard basis. Which one of the following statements is true?
- A.A2=0.
- B.rank A = 1.
- C.rank A = 0.
- D.There exists u∈R2,u=0 such that (u, u) = 0.✓
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q13Execution slipQuadratic forms, positive definiteness, Sylvester's law
For a∈R, let A_a = [[2, −1, 0], [−1, 2, −1], [0, −1, a]]. Which one of the following statements is true?
- A.A_a is positive definite for all a < 3.
- B.A_a is positive definite for all a > 3.✓
- C.A_a is positive definite for all a ≥ −2.
- D.A_a is positive definite only for finitely many values of a.
Solution
Leading principal minors: 2, 3 and det A_a = 3a − 2. Positive definite iff a > 2/3, which contains all a > 3.
Q14Property not inheritedSubgroups, cosets, Lagrange, cyclic groups
Let G be any finite group. Which one of the following is necessarily true?
- A.G is a union of proper subgroups.
- B.G is a union of proper subgroups if |G| has at least two distinct prime divisors.
- C.If G is abelian, then G is a union of proper subgroups.
- D.G is a union of proper subgroups if and only if G is not cyclic.✓
Solution
A finite group is the union of its proper subgroups iff it is not cyclic: if it is cyclic a generator lies in no proper subgroup; if not cyclic every element generates a proper subgroup.
Q15Execution slipIdeals, quotient rings, prime & maximal ideals, CRT
Which one of the following is equal to 137+237+337+⋯+8837 in Z/89Z?
- A.88
- B.−88
- C.−2
- D.0✓
Solution
89 is prime and (Z/89)∗ is cyclic of order 88. For a generator g,∑k k37=∑j g37j is a geometric sum equal to 0 because 88 ∤ 37 (so g37=1).
Q16Finite-dimensional intuitionField extensions, splitting fields, finite fields
Consider the field C with the Euclidean topology. Let K be a proper subfield of C that is not contained in R. Which one of the following statements is necessarily true?
- A.K is dense in C.✓
- B.K is an algebraic extension of Q.
- C.C is an algebraic extension of K.
- D.The smallest closed subset of C containing K is NOT a field.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q17Execution slipCauchy–Riemann equations, harmonic functions
Let f:C→C be a real-differentiable function and define u(x, y) = Re f(x + iy), v(x, y) = Im f(x + iy). Let ∇u=(ux,uy) denote the gradient. Which one of the following is necessarily true?
- A.For c1,c2∈C, the level curves u=c1 and v=c2 are orthogonal wherever they intersect.
- B.∇u⋅∇v=0 at every point.
- C.If f is an entire function, then ∇u⋅∇v=0 at every point.✓
- D.If ∇u⋅∇v=0 at every point, then f is an entire function.
Solution
For entire f the Cauchy–Riemann equations give ∇u⋅∇v=uxvx+uyvy=ux(−uy)+uyux=0. Without holomorphy there is no such relation, and orthogonal gradients alone do not force CR (e.g. f = z̄ has ∇u⋅∇v=0).
Q18openCauchy–Riemann equations, harmonic functions
Let ℍ = {z∈C:Imz>0} and f(z) = eiz. Which one of the following statements is true?
- A.f(ℍ)=C∖{0}.
- B.f(ℍ) ∩ ℍ is countable.
- C.f(ℍ) is bounded.✓
- D.f(ℍ) is a convex subset of C.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q19Execution slipArgument principle, Rouché's theorem, open mapping
How many roots does the polynomial z100−50z30+40z10+6z+1 have in the open disc {z∈C : |z| < 1}?
- A.100
- B.50
- C.30✓
- D.0
Solution
On |z| = 1, |−50z30| = 50 > 1 + 40 + 6 + 1 = 48 ≥ |z100+40z10+6z+1|, so by Rouché the polynomial has as many zeros inside as −50z30: thirty.
Q20Execution slipArgument principle, Rouché's theorem, open mapping
Let f be a meromorphic function on an open set containing the unit circle C and its interior. Suppose f has no zeros and no poles on C, and let n_p and n0 denote the number of poles and zeros of f inside C. Which one of the following is true?
- A.(1/2πi)∫C(zf)′/(zf) dz =n0−np+1.✓
- B.(1/2πi)∫C(zf)′/(zf) dz =n0−np−1.
- C.(1/2πi)∫C(zf)′/(zf) dz =n0−np.
- D.(1/2πi)∫C(zf)′/(zf) dz =np−n0.
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q21openSturm–Liouville problems and Green's functions
The smallest real number λ for which the problem −y′′+3y=λy,y(0)=0,y(π)=0 has a non-trivial solution is
- A.3
- B.2
- C.1
- D.4✓
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q22openClassification and canonical forms
The partial differential equation x2uxx−2xy uxᵧ −3y2uyy+ux−uy=0 is
- A.elliptic in {(x, y) : y > 0}
- B.parabolic in {(x, y) : x > 0, y > 0}
- C.hyperbolic in {(x, y) : xy ≠ 0}✓
- D.parabolic in {(x, y) : xy ≠ 0}
Solution
B2−4AC =4x2y2+12x2y2=16x2y2>0 wherever xy ≠ 0: hyperbolic.
Q23Limit assumed to existLaplace, heat and wave equations: separation of variables
Consider the Cauchy problem for the wave equation utt−4uxx=0 on R×(0,∞), with u(x, 0) = e−1/x2 for x ≠ 0 (and 0 at x = 0), and u_t(x, 0) = x e−x2. Which one of the following is true?
- A.limt→∞ u(5, t) = 1✓
- B.limt→∞ u(5, t) = 2
- C.limt→∞ u(5, t) = 1/2
- D.limt→∞ u(5, t) = 0
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q24openNumerical ODE: Euler, Runge–Kutta
Using Euler's method with step size 0.05, the approximate value of the solution of dy/dx =3x+2y+1,y(1)=1, at x = 1.1 (rounded to two decimal places) is
- A.1.50
- B.1.65
- C.1.25✓
- D.1.15
Solution
y1=1+0.056≈1.1225;y2=1.1225+0.053.15+2.245+1≈1.1225+0.05⋅2.529≈1.249≈1.25.
Q25openIsoperimetric problems
The cardinality of the set of extremals of J[y]=∫01(y′)2 dx subject to y(0)=1,y(1)=6,∫01y dx = 3 is
- A.0
- B.1✓
- C.2
- D.countably infinite
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q26openFredholm and Volterra equations
The value of λ for which the integral equation y(x)=λ∫01x2 ex+t y(t) dt has a non-zero solution is
- A.4/(1+e2)
- B.2/(1+e2)
- C.4/(e2−1)✓
- D.2/(e2−1)
Solution
Separable kernel: y=cx2eˣ with c=λc∫01t2 e2t dt =λc(e2−1)/4, so λ=4/(e2−1).
Q27openLagrangian formalism and generalised coordinates
Let g denote the acceleration due to gravity and a > 0. A particle of mass m glides without friction on the cycloid x=a(θ−sinθ),y=a(1+cosθ),0≤θ≤2π. The equation of motion of the particle is
- A.(1−cosθ)θ̈ + ½ sinθ(θ̇)2−(g/2a)sinθ=0✓
- B.(1−2cosθ)θ̈ +sinθ(θ̇)2−(g/a)sinθ=0
- C.m(1−2cosθ)θ̈ +sinθ(θ̇)2+(g/a)sinθ=0
- D.m(1−2cosθ)θ̈ +(m/2)sinθ(θ̇)2−(g/a)sinθ=0
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q28openRandom variables, distributions, moments, MGF
Suppose X ~ Poisson(3/4). Then which of the following statements is true?
- A.P(X > 9) ≥ 11/12
- B.P(X < 9) ≥ 11/12✓
- C.E(X−3/4)2≥11/12
- D.(11/9)X ~ Poisson(11/12)
Solution
Markov: P(X ≥ 9) ≤ E[X]/9 = 1/12, so P(X < 9) ≥ 11/12. The variance is 3/4 < 11/12, and a scaled Poisson is not Poisson.
Q29Moments and tailsRandom variables, distributions, moments, MGF
Let (X, Y) have joint moment generating function M(t1,t2)=(3/4+ et1/4)2 (5/6 + et2/6)3. Then P(X + 2Y > 1) equals
- A.1581/3456✓
- B.1875/3456
- C.125/3456
- D.3331/3456
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q30Moments and tailsModes of convergence, WLLN, SLLN, CLT
Let X1,X2,… be i.i.d. with CDF F(x) = 0 for x < 5 and 1 − e5−x for x ≥ 5. Define Yn=min{X1,…,Xn} and Zn=n(Yn−5), and let Z be standard normal. Which one of the following statements is true?
- A.limP(1/2<Yn<3/2)=1
- B.Yn→5 in probability as n→∞✓
- C.Zn→Z in distribution as n→∞
- D.limP(1<Zn<2)=Φ(2)−Φ(1)
Solution
Yn−5 ~ Exp(n), so Yn→5 in probability while n(Yn−5)→0 in probability (the right scaling is n, not n).
Q31openMLE and method of moments
The probability of a head in tossing a coin is p ∈ (0, 1). The coin is independently tossed 25 times and heads appear 10 times. The Bayes estimate of p with respect to the prior Beta(5, 5) and squared error loss is
- A.3/7✓
- B.3/5
- C.1/2
- D.2/5
Solution
Posterior is Beta(5 + 10, 5 + 15) = Beta(15, 20) with mean 15/35 = 3/7.
Q32openSufficiency, completeness, UMVUE, Cramér–Rao
For n ≥ 2, let X1,…,Xn be a random sample with density f(x|θ)= θxθ−1 on 0<x<1,θ>0 unknown. Which of the following is the UMVUE for 1/θ?
- A.−(1/n)∑lnXi✓
- B.−n/∑lnXi
- C.−(n−1)/∑lnXi
- D.−(2/n)∑lnXi
Solution
−lnXi ~ Exp(θ) with mean 1/θ, and ∑lnXi is complete sufficient; the sample mean of −lnXi is unbiased for 1/θ.
Q33What the inference meansSufficiency, completeness, UMVUE, Cramér–Rao
For n ≥ 2, let ε1,…,εn be i.i.d.N(0,σ2) and Yi=iα+i2α2+εi, where σ>0 and α∈R are unknown. Which of the following is a jointly minimal sufficient statistic for (α,σ)?
- A.(∑Yi2,∑ iYi,∑i2Yi)✓
- B.(∑Yi2,∑ iYi,∑i2Yi2)
- C.(∑ iYi,∑i2Yi2)
- D.(∑Yi,∑ iYi)
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q34What the inference meansNeyman–Pearson lemma and UMP tests
Let X1,…,X6 be a random sample from the gamma density f(x|λ)=(λ4/6) e−λx x3 for x>0,λ>0 unknown. Let T=∑Xi and ψ be the UMP test of size 0.05 for H0:λ=1 against H1:λ>1. With χν,α2 the (1−α)−th quantile of χν2, the test ψ rejects H0 iff
- A.T ≥ ½ χ48,0.052
- B.T ≤ ½ χ48,0.952✓
- C.T ≥ ½ χ24,0.052
- D.T ≤ ½ χ24,0.952
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q35Execution slipGauss–Markov, regression, ANOVA basics
Consider Y=α+βx+ε with E(ε)=0. From 10 observations the OLS fit is ŷ = 1.5 + 0.8x. Suppose ∑(yi− ȳ)2=5 and ∑(xi−xˉ)2=6. The adjusted R2(to two decimals) equals
- A.0.74✓
- B.0.83
- C.0.77
- D.0.84
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q36Execution slipMultivariate normal distribution
For n ≥ p + 1, let X1,…,Xn be a random sample from Np(μ,∑) with ∑ positive definite. Define X̄ and A=∑(Xi−Xˉ)(Xi−Xˉ)T. The distribution of Trace(A∑⁻1) is
- A.Wp(n−1,∑)
- B.χp2
- C.χnp2
- D.χ(n−1)p2✓
Trap Analysis has the working, and why each of the other options was written to tempt you.
Q37openCRD, RBD, LSD essentials
In a Latin square design, the degrees of freedom for the error sum of squares is 42. Then the degrees of freedom for the sum of squares due to treatments is
- A.6
- B.7✓
- C.8
- D.9
Solution
For a p × p Latin square the error d.f. is (p − 1)(p − 2) = 42 ⇒ p = 8, so treatments have p − 1 = 7 d.f.