Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 205 3 a Solution 2026-09-28
For the assertion is immediate under the natural zero-vector convention. For , the rows of are independent and is a centered unit-variance sub-Gaussian random variable. Its centered square is sub-exponential. The corresponding Bernstein estimate, in the explicit Rademacher Johnson–Lindenstrauss transform form, isSince the sum in the event is , this is the claimed inequality.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 205 4 Solution 2026-09-28
The Bernstein concentration inequality for products of sub-Gaussian variables quoted in the course says that if each coordinate of the identically distributed pairs is sub-Gaussian with parameter , thenSince , this is the required bound. It follows by observing that a product of sub-Gaussian variables is sub-exponential and applying Bernstein's inequality to the independent centered products.
For any vector admissible in the definition of , one has . The entrywise maximum norm bound therefore impliesBy the definition of the compatibility constant, , and henceTaking the infimum proves . This is the stability of a compatibility constant under entrywise perturbation.
Put . Applying the product concentration bound with the stated and using gives, for every ,There are distinct entries in the symmetric matrix, so the union bound shows that the eventhas probability at least .
On , . Since by Cauchy-Schwarz, normalization of the sample columns givesChoosing one coordinate of in the infimum shows , so the assumed bound on is below one and, more precisely,The perturbation result now gives throughout , and therefore
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 208 1 a Solution 2026-09-28
If is sub-Gaussian with variance parameter , thenfor every . Restricting this inequality to proves that is sub-exponential with parameters for every .
Now let for a standard normal distribution variable . Its moment-generating function isand is infinite for . A sub-Gaussian moment-generating function must be finite for every real , so cannot be sub-Gaussian with any finite parameter. For , the stated inequality givesThus is sub-exponential with parameters .
If and are sub-Gaussian, without requiring independence between them, then is sub-exponential. The inequality converts exponential-square moment bounds for the factors into an exponential moment bound for the product.